papa-base-export-0.2.0: src/Papa/Base/Export/Data/Void.hs

{-# LANGUAGE NoImplicitPrelude #-}

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

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