Data.Comp.Param.Sum
class sub :<: sup
data (f :+: g) a b
caseD
proj2
proj3
proj4
proj5
proj6
proj7
proj8
proj9
proj10
project
project2
project3
project4
project5
project6
project7
project8
project9
project10
deepProject
deepProject2
deepProject3
deepProject4
deepProject5
deepProject6
deepProject7
deepProject8
deepProject9
deepProject10
inj2
inj3
inj4
inj5
inj6
inj7
inj8
inj9
inj10
inject
inject'
inject2
inject3
inject4
inject5
inject6
inject7
inject8
inject9
inject10
deepInject
deepInject2
deepInject3
deepInject4
deepInject5
deepInject6
deepInject7
deepInject8
deepInject9
deepInject10
injectCxt
liftCxt