REPL does not print types with multiple class constraints correctly
When using the :t
command in the REPL, types with multiple class constraints are not printed correctly. For example, a type like (Eq a, Show a) => a
gets printed as Eq a => Show a => a
.