だからcoercionは型付けの静的/動的は関係ないの。
ただHaskellの型推論ならできるとか
無知丸出しの書き込みにツッコミ入れられてるだけ。