DefaultHigherEq

BaseProperties

decayedValueArb

arbitrary

~~defaultEq~~

~~BaseProperties~~ ~~MonadLaws~~

distributesOverScalarPlus

BaseVectorSpaceProperties

distributesWithPlus

BaseVectorSpaceProperties