monads are functors now. weeee!