Haskell でも型のキャスト出来るんかね
リファレンス見てたらそれっぽいのが･･･。