=> (a -> b) -- ^ The function @f@
-> a -- ^ The \"left\" endpoint, @a@
-> a -- ^ The \"right\" endpoint, @b@
-> b
=> (a -> b) -- ^ The function @f@
-> a -- ^ The \"left\" endpoint, @a@
-> a -- ^ The \"right\" endpoint, @b@
-> b
-- | Use the composite trapezoid rule to numerically integrate @f@
-- over @n@ subintervals of [@a@, @b@].
-- | Use the composite trapezoid rule to numerically integrate @f@
-- over @n@ subintervals of [@a@, @b@].