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