search

joshvera / effects

An implementation of "Freer Monads, More Extensible Effects".
Other
20 stars 5 forks source link

Role annotation #54

Closed robrix closed 6 years ago

robrix commented 6 years ago

This PR gives an explicit role annotation for Union, fixing #52. Opened for comment since this does in fact break us, as (regrettably) expected.