About

Metadata

  • Last updated , by phadej
  • License BSD-3-Clause
  • Maintained by: Oleg.Grenrus <oleg.grenrus@iki.fi>

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 8.0.2
  2. 7.10.3

Readme

  • Boring types are isomorphic to ().

  • Absurd types are isomorphic to Void.

See What does () mean in Haskell -answer by Conor McBride