最近までなんだこの言語とか思っていたけど検査専用の型というのもいいものだ