Mark Dominus (陶敏修)
I have another blog that
25 recent entries
data Narf a = Narf (Narf a) deriving (Eq, Show)
One kinda funny thing about this type is that it does actually contain
a (countably) infinite family of values. But there's no way to tell
any of them from any of the others.
narfn 0 = undefined
narfn n = Narf $ narfn (n - 1)
The deriving Eq is a strikingly empty promise.