Monadic CheckerV2 implementation finished