自分でもよく飽きないなーと思いますが、またしてもゆのネタです。 私のアタマではどう頑張っても正式なゆの式を書くことができなかったので、AAに関しては激しく妥協しつつ、別方向で変態的なコードを作ろうとしてみました。その結果が以下です。 import Prelude hiding ((<),(/),(-)) import Data.List (intersperse) import Debug.Trace (trace) data X = X | I | X :/ X | X :< String class P a where p :: a instance P X where p = I instance P Bool where p = False risk = "Hidamari" etc = "Sketch" infixr 3 - infixr 6 / infixr 5 < _ < h