path: root/testsuite/tests/typecheck/should_compile/constraint_hole_fits.hs

module ConstraintSubstitutions where

g :: Ord a => [a] -> a
g = _