continue type inference fns