[Haskell-cafe] What puts False before True?

[Tillmann Rendel]

Tony Finch wrote:
> Another point worth noting is that the usual lambda calculus
> representations of false and zero are equivalent. (However true
> is not the same as one.)

Looking at Church encoding,

  false = zero
  true = <something else>

may be a point for false < true, but

  true = curry fst
  false = curry snd

may be a point for true < false.

And what about this?

  true = const
  false = const id

Tillmann