Data.Extensible.Wrapper

class Wrapper h

_WrapperAs

data Const' a x

data Comp f g a

comp

data Prod f g a