original.name="Template_Invalid_31"
======
>>> main.whiley
type fun_t<T> is function(T)->(int)

function bigger(fun_t<int> fn) -> fun_t<int|bool>:
    return fn

function bigger2(fun_t<int> fn) -> function(int|bool)->(int):
    return fn

function smaller(fun_t<int|bool> fn) -> fun_t<int>:
    return fn

function bigger2(fun_t<int|bool> fn) -> function(int)->(int):
    return fn


---
E400 main.whiley 4,11:12
E400 main.whiley 7,11:12