Content-Type: text/shitpost

    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.