Warning found: in module Main at tests/purs/warning/UnambiguousQuantifiedKind.purs:12:1 - 12:11 (line 12, column 1 - line 12, column 11) No type declaration was provided for the top-level declaration of test2. It is good practice to provide type declarations as a form of documentation. The inferred type of test2 was:    Int   in value declaration test2 See https://github.com/purescript/documentation/blob/master/errors/MissingTypeDeclaration.md for more information, or to contribute content related to this warning.