Silly programming language, in Haskell and with Shadoks