= M.fromList [(pname π, π) | π <- πs ++ rtypePredBinds t]

rtypePredBinds =
predMap πs t = M.fromList [(pname π, π) | π <- πs ++ rtypePredBinds t]
predMap πs t = M.fromList [(pname π, π) | π <- πs ++ rtypePredBinds t]