Experimental support for higher order generics will be in 1.2 (JavaScript runtime only):

http://ceylon-lang.org/blog/2015/06/03/generic-function-refs... http://ceylon-lang.org/blog/2015/06/12/more-type-functions/