checkInstanceRequirements :: (MonadIO m, Traversable r, Traversable o)=> r InstanceRequirementRequired requests
-> o InstanceRequirementOptional requests
-> InstanceCreateInfo esAn InstanceCreateInfo, this will be returned appropriately modified by the requirements
-> m (Maybe (InstanceCreateInfo es), r RequirementResult, o RequirementResult)