a monad extension for AE::cv