module Refactor.GenerateTypeSignature.Function where identity :: t -> t identity x = x