@@ -219,5 +219,5 @@ prettyPrintBinder :: Binder -> String
219prettyPrintBinder (ConstructorBinder ctor []) = showQualified runProperName ctor
219prettyPrintBinder (ConstructorBinder ctor []) = showQualified runProperName ctor
220prettyPrintBinder (ConstructorBinder ctor args) = showQualified runProperName ctor ++ " " ++ unwords (map prettyPrintBinderAtom args)
220prettyPrintBinder (ConstructorBinder ctor args) = showQualified runProperName ctor ++ " " ++ unwords (map prettyPrintBinderAtom args)
221prettyPrintBinder (PositionedBinder _ _ binder) = prettyPrintBinder binder
221prettyPrintBinder (PositionedBinder _ _ binder) = prettyPrintBinder binder
222−prettyPrintBinder (TypedBinder ty binder) = prettyPrintType ty ++ " :: " ++ prettyPrintBinder binder
222+prettyPrintBinder (TypedBinder ty binder) = prettyPrintBinder binder ++ " :: " ++ prettyPrintType ty
223prettyPrintBinder b = prettyPrintBinderAtom b
223prettyPrintBinder b = prettyPrintBinderAtom b