結構際どいけど、Anyは空のcompositionであるから、existentialもcoformできるのであって、self conformingではなさそう