是否可以使用Haskell创建COM对象并在那里使用另一个COM对象？

Question

现在我认为我想要的是无稽之谈，没有人知道任何事情......

但如果可能的话，这对生产使用会有好处，所以我一定要问问题。

我想要的例子：

let A<'T> progid =
    Activator.CreateInstance
        ( Type.GetTypeFromProgID progid )
            :?> 'T

let cm = A<ISerialPort> "SerialPort.1"
let h  = A<IHaskell>    "Haskell.1"

let data = h.getData(cm)

我知道有http://hackage.haskell.org/package/hdirect但我甚至无法想象如何使用它...（不确定它是否也应该为最后的haskell FFI更新）

做我想做的事的简单例子将是完美的！