Monad

util

map

Applicative

map2

Applicative