Error(s):

source_file.fs(5,8): warning FS0064: This construct causes code to be less generic than indicated by the type annotations. The type variable 'a has been constrained to be type 'int'.

source_file.fs(6,8): error FS0001: This expression was expected to have type
    int    
but here has type
    uint64