RFC: Allocator trait