* captures the idea of applying a unary pure function to an effectful value, * calling `product` with `map` allows one to apply a function of arbitrary arity to multiple * independent effectful values. * * That same idea is also manifested in the form of [[Apply]], and indeed [[App...
An important example of sets obtained using a Cartesian product is RnRn, where nn is a natural number. For n=2n=2, we have R2R2 =R×R=R×R ={(x,y)|x∈R,y∈R}={(x,y)|x∈R,y∈R}. Thus, R2R2 is the set consisting of all points in the two-dimensional plane. Similarly,...