Haskell への疑問

1. モナドのモナドはありますか？多重なモナドはありますか？
2. 文字列からある型の変数に変換する方法はありますか？例えば、"(1,2)"という文字列を渡すと、(1,2)というタプルに変えてくれるような。
3. テトリス、オセロ、将棋、囲碁でもいいのですが、それらは盤面の状態をモナドにすべきなのでしょうか？
4. Haskell（関数型言語）とオブジェクト指向言語は対立するのでしょうか？融合するのでしょうか？
5. 日本で、「ふつける本」「ケリ本」を呼んだ人に、次に勧める本/サイトを紹介してください。