 *.. is identical to *., but returns the list of all intermediate
--     distributions
--     
(*..) :: Int -> Trans a -> Expand a
0 *.. _ = singleton . certainly
1
(*..) :: Int -> Trans a -> Expand a
0 *.. _ = singleton . certainly
0 *.. _ = singleton . certainly