@theorytoe @kirby I do wish giving type annotations was syntax sugar for having asserts that it is that type :P