(* Hindley milner type checking *)