Completing first 3 exercises of iomonad