OptimizationFuel
data OptimizationFuel
canRewriteWithFuel
maybeRewriteWithFuel
oneLessFuel
data OptFuelState
initOptFuelState
tankFilledTo
diffFuel
type FuelConsumer a
class FuelUsingMonad m
data FuelState
runFuelIO
fuelConsumingPass
data FuelMonad a
liftUniq
lGraphOfGraph