WrongTypes.hascasl revision 5214cf3742dc626a7efc5ec851db09bf0ff1f579
? -> ?
* -> a
a -> *
*
�
* * *
� � �
* -> *
(a
a)
a * -> b
* a
->?
*-> *
* ->*
� *
a * b *
a * b )
a * (b *)
a * (b * c
a -> ?b
a -> ? b
?? -> ??