そもそも変数Aの型ってなんなんだろうな?