Во! Так для того, чтобы лифтинг был универсальным, не портящим тип трансформера, как раз и надо, чтобы для f :: a -> b тип обратного f' был f' :: b -> a. А требование, чтобы тождественный трансформер id :: b -> b оставался тождественным: f' . id . f = id сразу дает f' . f = id. Настоящему id ;)