=> (a -> b) -- ^ The function @f@ whose root we seek
-> a -- ^ The \"left\" endpoint of the interval, @a@
-> a -- ^ The \"right\" endpoint of the interval, @b@
=> (a -> b) -- ^ The function @f@ whose root we seek
-> a -- ^ The \"left\" endpoint of the interval, @a@
-> a -- ^ The \"right\" endpoint of the interval, @b@