>62
「1を return でくるめば(return 1)モナドになる」
「(Just x) と (Left y) (モナド同士)に特別な演算ができる」
って変でしょ？
(return 1)の属する型(IO Int なり Maybe Int なり)と演算 >>=, >>, return の組がモナド．

あなたの書き方だといつでもモナドの元同士に対する演算が定義されていると読めて，
データを型で区別してプログラムの質を高める，という考え方と真っ向から対立し
読者に混乱を引き起こす．