Improve error message layouts

compiler/typecheck/TcBinds.lhs

@@ -499,7 +499,8 @@ checkStrictBinds top_lvl rec_group mbind mono_tys infos
     check_sig other	       = return ()
 
 strictBindErr flavour unlifted mbind
-  = hang (text flavour <+> msg <+> ptext SLIT("aren't allowed:")) 4 (ppr mbind)
+  = hang (text flavour <+> msg <+> ptext SLIT("aren't allowed:")) 
+	 4 (pprLHsBinds mbind)
   where
     msg | unlifted  = ptext SLIT("bindings for unlifted types")
 	| otherwise = ptext SLIT("bang-pattern bindings")

compiler/typecheck/TcUnify.lhs

@@ -1515,7 +1515,7 @@ notMonoType ty
   = do	{ ty' <- zonkTcType ty
 	; env0 <- tcInitTidyEnv
 	; let (env1, tidy_ty) = tidyOpenType env0 ty'
-	      msg = ptext SLIT("Cannot match a monotype with") <+> ppr tidy_ty
+	      msg = ptext SLIT("Cannot match a monotype with") <+> quotes (ppr tidy_ty)
 	; failWithTcM (env1, msg) }
 
 occurCheck tyvar ty