final MonadPlus<IVector> IVectorMP = MonadPlusOpsMonadPlus<IVector>((a) => emptyVector().appendElement(a), emptyVector);