Weaken applicative functor which allows only product construction. Product constructions and deconstructions are always isomorphic.

comments powered byDisqus