为什么/ 在类型的同s构中t,不应该约束同构和b同a构Iso s t a b？
我知道我们有一个前向映射s -> a和一个后向映射b -> t,但为什么没有关系强加于这些映射
type Iso s t a b = forall p f. (Profunctor p, Functor f) => p a (f b) -> p s (f t)
它的倒数似乎有可能.因为我想象列表是产品并且->是取幂,
(a*a*a...)^r = (a^r)*(a^r)....
既然我们可以定义逆,[a->r] -> a -> [r]那么不应该定义它吗？