hkd-delta-0.0.1: Definition of "Delta structures" for higher kinded data.
HKD.Delta
module HKD.Delta.Type
module HKD.Delta.Class