import "Prelude"

// See gitlab #303

test :: () -> Integer
test _ = let
    f = id :: Integer -> Integer
    in min f 1 f 2
    
main = test ()
--
8:8-8:11: Constraint <Ord (Integer -> Integer)> is not given and cannot be derived.
8:8-8:19: Application of non-function
8:16-8:17: Expected <Integer> got <Integer -> Integer>.