purescript-free
purescript-free copied to clipboard
Add role annotation to `Free`
data Free f a = Free (FreeView f Val Val) (CatList (ExpF f))
a is never used in the implementation of Free so it gets inferred as phantom which causes problems when using coerce.
Ah, right. This should be representational instead.