cabal configure --flags="validateProp" --disable-optimization