let
empty () = []