On 6 March 2015 at 10:03, Sergei Meshveliani <mechvel at botik.ru> wrote: > Anyway, must "--termination-depth=4" help in my example with the two > composed data constructors? As it was pointed by @gallias, we need to know the RHS of your function before commenting its termination. -- Andrés