How to deal with Unit
Closed this issue · 0 comments
garyb commented
Since Unit is becoming a foreign data type in the new Prelude we can't make a proper generic representation for it anymore. It would seem very strange that such a basic value cannot be represented generically.
Should we switch back to the newtype of {} representation perhaps? Or maybe we should add SUnit / SigUnit to generics?