type

    1. end
    2. X.some_fun 1 # Error: argument 'value' of 'X#some_fun' must be X::MyInt, not Int32