A project comparing the Tagless Final approach with the Free Monad one, using the Monix's Task as the target monad