Parameter MonadReaderStateResult.X

type global
type local