Options, Futures and other monads