类型构造函数生成给定类型的类型.例如,Maybe构造函数
data Maybe a = Nothing | Just a
可能是一个给定的具体类型,如Char,并给出一个具体类型,如Maybe Char.在种类方面,有一个
GHCI> :k Maybe
Maybe :: * -> *
我的问题:是否可以定义一个类型构造函数,在给定Char的情况下产生具体类型,比如说？换句话说,是否可以在类型构造函数的类型签名中混合种类和类型？就像是
GHCI> :k my_type
my_type :: Char -> * -> *