Anti-unification, part 6 | Fabulous adventures in coding