{-# LANGUAGE EmptyCase #-} module Pandora.Paradigm.Algebraic.Zero where data Zero absurd :: Zero -> a absurd :: Zero -> a absurd Zero x = case Zero x of {}