module ADP.Fusion.SynVar.Recursive.Point where