path: root/testsuite/tests/typecheck/should_fail/T11541.hs

module T11541 where

g :: Ord k => k -> v -> ()
g k v = ()

f x y =
   let m = min x y
   in  g m foo