Generics.MultiRec.Transformations.Main

diff

apply

type family Ixs phi :: [*]

type Transformation phi top