Final: More stack-efficient (.>) and (*>)

[rhendric]

To see the difference, run this file before and after patch with GHCRTS=-K100k cabal exec runghc:

import Data.Functor.Combinator

times :: Applicative f => Integer -> f a -> f a
times 1 m = m
times n m = m *> times (n - 1) m

main :: IO ()
main = retract $ times 10000 $ pure @(Final Monad IO) ()

[mstksg]

Appreciate it, thanks so much! :)