Support multiple bounded funs in spec AST node