Во! Так для того, чтобы лифтинг был универсальным, не портящим тип трансформера, как раз и надо, чтобы для f :: a -> b тип обратного f' был f' :: b -> a. А требование, чтобы тождественный трансформер id :: b -> b оставался тождественным: f' . id . f = id сразу дает f' . f = id. Настоящему id ;)
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2007-12-12 10:41 am (UTC)