module Control.Functor.Covariant.Transformation.Lowerable (Lowerable (..)) where

import Control.Functor.Covariant (Covariant)

class Lowerable (t :: (* -> *) -> * -> *) where
	lower :: Covariant u => t u a -> u a