Monad<ForListK> provides more context than M...
# arrow
p
Monad<ForListK> provides more context than Monad<ListKHK>, even if it’s less academically accurate