Sample monads I'm playing with