Content-Type: text/shitpost


Subject: Narf
Path: you​!your-host​!ultron​!gormenghast​!hal9000​!plovergw​!shitpost​!mjd
Date: 2018-11-12T18:22:51
Newsgroup: misc.narf
Message-ID: <61a5fe2ac2e50bf8@shitpost.plover.com>
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.