Informasi yang berkaitan dengan ar/Hindley–Milner type system