モナドとはXをみたすものである
Aを表現するデータ型は、それに対する操作BがXをみたすからモナドである

Aはモナドに関係ない

ということがいつまで立っても分からない