Split Data.Infer.Subst