Zero.hs

{-# LANGUAGE EmptyCase #-}

module Pandora.Paradigm.Primary.Algebraic.Zero where

data Zero

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