型そのものに対するパターンマッチングを実装したいが、どこかに落とし穴がある気がする