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