1 2 3 4 5 6 7
{-# LANGUAGE DatatypeContexts #-} module T4325 where data Ord a => Heap a b = Empty | Node a b [Heap a b] deriving Eq