{-# LANGUAGE ExplicitNamespaces #-}

module Control.Monad.Borrow.Pure.Lifetime (
  type (/\),
  type (<=),
  type (>=),
  type Static,
  Lifetime,
) where

import Control.Monad.Borrow.Pure.Lifetime.Internal