it type checks! (with lots of ignore but it's on its way)