Types.hascasl.output revision 78172fe3f4d040ea7998db7136f0e1653ca3d12b
a
?
a->b
a->?b
a*b
a�b
a->b
a->?b
a*b
a�b
?->?
? -> ?
?? -> ??
*->*
a
a->b
a->b->c
a->b->c
a->b->c
(a->b)->c
a->b->c
(a->b)->c
a->b->c->d
a->(b->c)->d
a->b->c->d
(a->b->c)->d
((a->b)->c)->d
a->(b->c)->d
a->b->c->d
(a->b->c)->d
((a->b)->c)->d
a*b
a*b*c
a*b*c
a*(b*c)
(a*b)*c
a*(b*c)
(a*b)*c
a*b*c*d
a*((b*c)*d)
a*(b*(c*d))
(a*(b*c))*d
((a*b)*c)*d
a*((b*c)*d)
a*(b*(c*d))
(a*(b*c))*d
((a*b)*c)*d
a->?b
a->?b->?c
a->?b->?c
a->?b->?c
(a->?b)->?c
a->?b->?c
(a->?b)->?c
a->?b->?c->?d
a->?(b->?c)->?d
a->?b->?c->?d
(a->?b->?c)->?d
((a->?b)->?c)->?d
a->?(b->?c)->?d
a->?b->?c->?d
(a->?b->?c)->?d
((a->?b)->?c)->?d
a�b
a�b�c
a�b�c
a�(b�c)
(a�b)�c
a�(b�c)
(a�b)�c
a�b�c�d
a�((b�c)�d)
a�(b�(c�d))
(a�(b�c))�d
((a�b)�c)�d
a�((b�c)�d)
a�(b�(c�d))
(a�(b�c))�d
((a�b)�c)�d
a�b�c�d
a�b�c�d
a*b*c*d
a*b*c*d
a->b->?c->d
a->?b->?c->d
a->b->?c->?d
a->b->c->?d
a->?b->c->?d
a->?b->c->d
a->b*c->d
a*b*c->d
a->b*c*d
a->b->c*d
a*b->c*d
a*b->c->d
(a->b)*(c->d)
a*b*(c->d)
(a->b)*c*d
a->(b->c)*d
(a->b->c)*d
a*(b->c)*d
a*(b->c)->d
a*(b->c->d)
()
()->()
()*()