@devurandom yeah, I'd really like to do that kind of joke on a bigger Scala, but it's a right Brainfuck. Oh Coq, I'm doing it again aren't I