original.name="Template_Invalid_5"
======
>>> main.whiley
function f<S,T>(S s) -> (T t):
    return s
---
E400 main.whiley 2,11