polytypic p :: t = case f of g + h -> g * h -> Empty -> Par -> Rec -> d @ g -> Const t ->