Styff is a functional programming language currently under development based on System F-omega. Example programs Styff on GitHub