pandora-0.2.9: Pandora/Paradigm/Structure/Ability/Zipper.hs

module Pandora.Paradigm.Structure.Ability.Zipper where

type family Zipper (s :: * -> *) = (r :: * -> *) | r -> s