make Driver non-monadic