On Vox: Нашёл-таки эти грабли

[migmit]

data I = I Int deriving Show
I n +++ I m = I 0
test = I 0 +++ test
main = print test

И висим.
Если заменить "I m" на "~(I m)" - не висим.
(бьётся головой об стенку)

Originally posted on migmit.vox.com