A good syntax for generics
Actually this is funnier as a multiple choice.
Tbh, <T> is great, I wish we didn't need those symbols for anything else.
@virtulis :: Monad m => (a → f b) → f a → f b
@jonn meh.
@virtulis i mean, it obviously only works for systems with parametric polymorphism + traits for genetics
Mastodon server of https://doma.dev.
@jonn meh.