Warning 1 of 3: in module Main at tests/purs/warning/4308.purs:13:6 - 13:7 (line 13, column 6 - line 13, column 7) Wildcard type definition has the inferred type    Int   in value declaration g See https://github.com/purescript/documentation/blob/master/errors/WildcardInferredType.md for more information, or to contribute content related to this warning. Warning 2 of 3: in module Main at tests/purs/warning/4308.purs:14:13 - 14:14 (line 14, column 13 - line 14, column 14) Wildcard type definition has the inferred type    Int   in value declaration g See https://github.com/purescript/documentation/blob/master/errors/WildcardInferredType.md for more information, or to contribute content related to this warning. Warning 3 of 3: in module Main at tests/purs/warning/4308.purs:14:25 - 14:26 (line 14, column 25 - line 14, column 26) Wildcard type definition has the inferred type    Int   in the following context: y :: Int in value declaration g See https://github.com/purescript/documentation/blob/master/errors/WildcardInferredType.md for more information, or to contribute content related to this warning.