{-# LANGUAGE NoImplicitPrelude #-}

module Papa.Base.Export.Data.Void(
    Void
  , absurd
  , vacuous
) where

import Data.Void (
    Void
  , absurd
  , vacuous
  )