Monad and Applicative utility functions