original.name="Template_Invalid_27" ====== >>> main.whiley function fun(T x) -> (T y): return x function fun(S x, T y) -> (T z): return y method consume(S x): skip // what else could I do? public method test(): consume(&fun) --- E604 main.whiley 11,4:10 E604 main.whiley 11,13:15