そもそもTypeを比較できるのを初めて知った