hole_constraints_nested.hs:12:16: warning: [-Wtyped-holes (in -Wdefault)]
• Found hole: _ :: Int
• In the expression: _
In a case alternative: EqOrd -> _
In the expression: case d2 of { EqOrd -> _ }
• Relevant bindings include
d2 :: EqOrd a (bound at hole_constraints_nested.hs:9:6)
d1 :: a :~: b (bound at hole_constraints_nested.hs:9:3)
f :: (a :~: b) -> EqOrd a -> Int
(bound at hole_constraints_nested.hs:9:1)
Constraints include
Eq a (from hole_constraints_nested.hs:12:7-11)
Ord a (from hole_constraints_nested.hs:12:7-11)
b ~ a (from hole_constraints_nested.hs:11:5-8)
Valid hole fits include
maxBound :: forall a. Bounded a => a
minBound :: forall a. Bounded a => a