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