Fake dependent types in Haskell using singletons
Why do you think that https://github.com/ekmett/representable-functors is a good alternative to singletons
Fake dependent types in Haskell using singletons
Why do you think that https://github.com/ekmett/representable-functors is a good alternative to singletons