{-# OPTIONS_GHC -fno-warn-orphans #-}

module Data.Universe.Instances.Reverse.MonoTraversable
  (
  ) where

import Data.Universe
import Data.MonoTraversable

import Data.Universe.Instances.Reverse


type instance Element (a -> b) = b

instance Finite a => MonoFoldable (a -> b)
instance (Ord a, Finite a) => MonoTraversable (a -> b)

