The set of all laws that instances of IdentityFlatten
must satisfy.
The set of all laws that instances of IdentityFlatten
must satisfy.
Adding a layer by mapping a value into the identity element and then flattening is an identity
Adding a layer by mapping a value and mapping it into the identity element and then flattening is an identity.