{-# LANGUAGE ExplicitNamespaces #-}

module Export
  ( module Export
  , type (:+:)    {-* ExplicitNamespaces *-}
  ) where

import Definitions