module Refactor.FloatOut.NoCollosion where f = g where g = h h = id h = ()