Tiny correction: SimulateBoolFn should not be MonadFix.