pandora-0.5.3: Pandora/Paradigm/Algebraic/Zero.hs

{-# LANGUAGE EmptyCase #-}

module Pandora.Paradigm.Algebraic.Zero where

data Zero

absurd :: Zero -> a
absurd x = case x of {}