我可以创建并实例化这样的简单类型：
type MyStr1 = MyStr1 of string
let myStr1 = MyStr1("aaa")
type MyStr2 = MyStr2 of string
let myStr2 = MyStr2("bbb")
然后我可以将它们组合成第三种类型：
type MyStr3 = MyStr1 -> MyStr2
如何实例化MyStr3？这个对象代表什么？它是做什么用的？