Add specs for Monad exercises