data (Ord a) => Tree a = Null | Fork a (Tree a) (Tree a) を見て，Ordクラスってなんだっけとか恥ずかしいことになったのでメモ．ちなみに，(Ord a) => の部分は http://fop.sampou.org/chap01.html 曰く， 「ここでの，(Ord a)という制約は二分ヒープ木…