Coarser type derivation
Allocator
Precise type derivation