slicing a Multiplicative structures by a given indexed Point.

Note Unfortunately for Haskell it is in general not possible to lift a value to the type level, as such we need to circumvent somehow this restriction by using an index type where the associated point depends only of that type (see Sliced).