Viewing profile — poorlydefined

Taking the subway with potentially heavy check-in bags isn’t always possible. I wouldn’t say it’s the most convenient trip and I can understand why someone would prefer an Uber or …

Yeah if you did this now you’d get something like “this expression is of type t/1 but an expression of type t/2” to disambiguate.

Hey Peter! I’m considering a move to the US with my current employer in the near/far future. What’s the best way to do so if I want to keep the option of getting permanent residenc…