tell the extraction process to inline the monad operations