Everything typechecks! I am not completely blind in the forest of the night