{-# LANGUAGE NoImplicitPrelude #-}

module Papa.Base.Export.Data.Void(
  module P
) where

import Data.Void as P(
    Void
  , absurd
  , vacuous
  )