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

import Control.Functor.Covariant (Covariant)

class Liftable (t :: (* -> *) -> * -> *) where
	lift :: Covariant u => u a -> t u a