Just learned about these optimized implementations. Should we support them? They are independent of `Optional`, i.e. they are no generic containers. So should we just mandate support for the numeric constraints for them?