type information ignored

[maeder]

type ST state a := state ->? a * state
vars  x: a;
. ret x : ST state a = \ s : state . (x, s)

the type information is not used to allow the unification of m a with State state a

[maeder]

I tried hard to fix this but but I did not succeed. So I have to postpone this issue.

The type information is not ignored but either the alias type is expanded to early or constraint resolution following shape unification crashes.

[maeder]

move to milestone 0.9 as this example is given in the overview

[maeder]

cannot do this soon, there is also #571 (and #569) that is relevant for the overview