ADP.Fusion.SynVar.Recursive.Type

data IRec c i x

type TwIRec m c i x

type TwIRecBt c i x mF mB r