Parameter MonadReaderResult.X

type local