typing is the bottleneck