3 ms·
Higher-kinded types? Monads, etc.
by edflsafoiewq 8y ago
Higher-kinded types? Monads, etc.
- dakom 8y agoCouldn'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)