let a = animal openas A // 将来opening existentialが入るとする

12:48 PM

このときの a の型ってなんですか？