Since we have `Free(r) Monad`, `Free Applicative` and `Free(r) Selective` we should have **Free Alternative**. **Links** - https://hackage.haskell.org/package/free-5.1.7/docs/Control-Alternative-Free.html