/home/voIKHO/prog.fs(2,18): error FS0001: This expression was expected to have type
'a * int
but here has type
int
/home/voIKHO/prog.fs(2,20): error FS0001: This expression was expected to have type
'a * int
but here has type
int
/home/voIKHO/prog.fs(2,22): error FS0001: This expression was expected to have type
'a * int
but here has type
int
/home/voIKHO/prog.fs(1,37): error FS0071: Type constraint mismatch when applying the default type 'int' for a type inference variable. The type 'int * int' does not match the type 'int' Consider adding further type constraints