Option::and is not as polymorphic as it can be