Does it break anything to allow datatypes to be parametric over instances? eg instance absOrd : Ord Int where -- ... union :: (ord : Ord a) =>

Does it break anything to allow datatypes to be parametric over instances? eg instance absOrd : Ord Int where -- ... union :: (ord : Ord a) => MaxHeap a ord -> MaxHeap a ord -> MaxHeap a ord If it's still impossible to create instances at runtime, I don't think this is equivalent to proper dependent types, only DataKinds.