Use EvalT
Parameterise EvalT