[Haskell-cafe] type metaphysics

[Dan Piponi]

On Mon, Feb 2, 2009 at 3:18 PM, Reid Barton <rwbarton at math.harvard.edu> wrote:

>> toSame f = (const True, head [ (< k) | k <- [1..], f (const True) == f (< k) ])

Nice! I like it because at first look it seems like there's no reason
for this to terminate, but as you correctly argue, it always does.
--
Dan