A data type defining a typed heterogeneous list, and functions for manipulating it.
Why do you think that https://github.com/higherkindness/mu-haskell is a good alternative to heterolist
A data type defining a typed heterogeneous list, and functions for manipulating it.
Why do you think that https://github.com/higherkindness/mu-haskell is a good alternative to heterolist