=> b -- ^ The number of subintervals to use, @n@
-> a -- ^ The \"left\" endpoint of the interval, @a@
-> a -- ^ The \"right\" endpoint of the interval, @b@
-> [(a,a)]
-- Somebody asked for zero subintervals? Ok.
partition 0 _ _ = []
=> b -- ^ The number of subintervals to use, @n@
-> a -- ^ The \"left\" endpoint of the interval, @a@
-> a -- ^ The \"right\" endpoint of the interval, @b@
-> [(a,a)]
-- Somebody asked for zero subintervals? Ok.
partition 0 _ _ = []