
tcfail207.hs:5:7:
    Couldn't match expected type `[Int] -> [Int]'
                with actual type `[a0]'
    In the return type of a call of `take'
    Probable cause: `take' is applied to too many arguments
    In the expression: take x []
    In an equation for `f': f x = take x []

tcfail207.hs:9:5:
    Couldn't match expected type `[Int]'
                with actual type `[a0] -> [a0]'
    In the return type of a call of `take'
    Probable cause: `take' is applied to too few arguments
    In the expression: take 3
    In an equation for `g': g = take 3
