Some Monad excercises in D