>>164
「モナドで副作用を実現している」
→ 基本的に副作用を許さないし評価順も保証されないHaskellの上で
副作用を伴う関数をまともに使える仕組みを実現するために
モナドに基づいた型の階層とオペレーターの定義をしてるんですねー
普通の言語感覚でこれは「実現」の一種ですねー

「群論で足し算を実現している」というくらい意味不明な言い方だ
→どう穴埋めしろってんだよ

糞アスペだから違いがわからないだけ
同じアホでも真実に近いアホと真実から限りなく遠いアホがいるが
こいつは後者であり存在自体が無意味