3 ms·

Couldn't one define Monads, etc. with interfaces, once they allow generics? (there's nothing in Haskell which enforces the category laws in the typesystem, afa

by dakom 8y ago

Couldn't one define Monads, etc. with interfaces, once they allow generics? (there's nothing in Haskell which enforces the category laws in the typesystem, afaik)