:o= all r_ptypes.hs