DefaultHigherEq

BaseProperties

defaultEq

BaseProperties MonadLaws

distributesOverScalarPlus

BaseVectorSpaceProperties

distributesWithPlus

BaseVectorSpaceProperties