WrongTypes.hascasl revision 99f16a0f9ca757410960ff51a79b034503384fe2
? -> ?
* -> a
a -> *
*
�
* * *
� � �
* -> *
(a
a)
a * -> b
* a
->?
*-> *
* ->*
� *
a * b *
a * b )
a * (b *)
a * (b * c
?
(a * b)?