coerce関数
hackage
coerce :: Coercible a b => a -> b
Coercible型クラスを使った、Coercible a bの制約が満たされた時に、
aからbへ、安全に、実行時オーバーヘッドなく変換できる