hkt-0.0.1: src/HKT/Type.hs

module HKT.Type (ID, HKT) where

data ID a

type family HKT a b where
    HKT ID a = a
    HKT b a = b a