例えば
4 :: Int
は絶対的な真理じゃね?