property (hackage): Common mathematical laws
Keywords: bsd3|deprecated|library|math|testing