Use showsPrec to properly parenthesize type equalities