[nem-en] the value called has non-functional type

[Vladimir Reshetnikov]

Why error?

module A {
	public Foo[T,U,V](x : T, y : U) : V
		where T : U -> V
	{
		x(y) /* error : the value called (x) has non-functional type T.874 */
	}
}