@@ -1078,7 +1078,7 @@ pprintPTerm impl bnd = prettySe 10 bnd
10781078 | Just n <- snat p e = annotate AnnConstData (text (show n))
10791079 prettySe p bnd (PRef fc n) = prettyName impl bnd n
10801080 prettySe p bnd (PLam n ty sc) =
1081− bracket p 2 . group . hang 2 $
1081+ bracket p 2 . group . align . hang 2 $
10821082 text "\\" <> bindingOf n False <+> text "=>" <$>
10831083 prettySe 10 ((n, False):bnd) sc
10841084 prettySe p bnd (PLet n ty v sc) =