DDF.TermGen

type family SubLC (l :: (* -> * -> *) -> Constraint) (r :: (* -> * -> *) -> Constraint) :: Constraint

class SubL l r

data Term c h s

mkT

genInstance