papa-0.4.0: src/Papa/Adjunctions/Data/Functor/Adjunction.hs
{-# LANGUAGE NoImplicitPrelude #-}
{-# OPTIONS_GHC -Wall #-}
module Papa.Adjunctions.Data.Functor.Adjunction (
module X,
) where
import Data.Functor.Adjunction as X
{-# LANGUAGE NoImplicitPrelude #-}
{-# OPTIONS_GHC -Wall #-}
module Papa.Adjunctions.Data.Functor.Adjunction (
module X,
) where
import Data.Functor.Adjunction as X