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