fix: type inference post