pandora-0.1.0: Pandora/Pattern/Functor/Liftable.hs

module Pandora.Pattern.Functor.Liftable (Liftable (..)) where

import Pandora.Core.Functor (type (~>))
import Pandora.Pattern.Functor.Covariant (Covariant)

class Liftable t where
	lift :: Covariant u => u ~> t u