monad1012-3: CONTRAFold 2^6