Parameter CCFun.Monad.1-X