Monad definition and tests. Maybe as monad