問題2-81b (2.5.2 Combining Data of Different Types)

問題の意味がイマイチ取れない。
結局apply-genericに何かすべきことがあるのか、あるいはそのままで動くのかって話のように読めるけど、そのままで動くと思われ。ていうか、ある型からその型へcoercionしたって無限ループに陥るだけじゃないのかな。