标签: f#
#indent "off" pragma type Hw <'o,'m> = cat of <'m->'o>*<'m->'o>*<'o->'m>;
原始
datatype ('o,'m) Hw = cat of ('m->'o)*('m->'o)*('o->'m);
答案 0 :(得分:2)
你可能想要
type Hw<'o,'m> = | Cat of ('m -> 'o) * ('m -> 'o) * ('o -> 'm)