omochimetaru 1/28/2020 8:11 AM

least common supertype

8:12 AM

ただ、Existentialにはならなかった気がする？