testLattice :: ((Double, Double), Array U DIM1 Double, Array U DIM1 Double)
             -> Assertion
testLattice (baseOp, sig, expected) =
    expected @=~? forceS (lattice baseOp sig)
testLattice :: ((Double, Double), Array U DIM1 Double, Array U DIM1 Double)
             -> Assertion
testLattice (baseOp, sig, expected) =
    expected @=~? forceS (lattice baseOp sig)
testLattice (baseOp, sig, expected) =
    expected @=~? forceS (lattice baseOp sig)