Unfinished stuff involving monads