{-# LANGUAGE EmptyDataDecls #-}

module Void where

data Void

impossible :: Void -> a
impossible void = error "impossible"