yaya-0.4.2.1: Total recursion schemes.