module Refactor.FloatOut.ImplicitLocal where f = g where g = h h = ()