declare fun {Head H|_} H end fun {Tail _|T} T end {Browse {Head [1 2 3 4]}} {Browse {Tail [1 2 3 4]}} % wrong below % {Browse {Tail 7}}