OptimizationFuel
type FuelConsumer a
data FuelState
data FuelMonad a