TraverseLaws

laws

TraverseTests

discipline

traverse

TraverseTests

traverseIdentity

TraverseLaws

traverseParallelComposition

TraverseLaws

traverseSequentialComposition

TraverseLaws

tuple2Eq

eq