Actually type-checks now