validOne

BaseProperties

validZero

BaseProperties

validZeroEq

BaseProperties

vectorA

MonadLaws

vectorSpaceLaws

BaseVectorSpaceProperties