{-# LANGUAGE EmptyCase #-}

module Pandora.Paradigm.Primary.Algebraic.Zero where

data Zero

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