so `Show<A<Int>>` != `Show<A<Use...
# arrow-contributors
p
so
Show<A<Int>>
!=
Show<A<User>>