Added monad for IO
Removed unused class A
Play around with how close you can get to a Monad with type constructor
Gave up due to lack of type constructor