module Void
  ( Void
  , absurd
  , vacuous
  ) where

import Data.Void