[Haskell-cafe] Is there a type class for boring types?

Tom Ellis tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk
Tue Feb 2 21:34:18 UTC 2016

On Tue, Feb 02, 2016 at 12:41:34PM -0500, David Feuer wrote:
> Or, alternatively, some common class that lets me express that a type is
> boring (i.e., inhabited by precisely one fully-defined value)?

FWIW it's the dual of Empty:


More information about the Haskell-Cafe mailing list