Data.Vinyl.Functor

class Presheaf f

data Lift op f g x