Addin iomonad exercises