(* simple variables *) f := {[x] => x}; f := {[_] => x}; (* literals *) f := {["foo"] => "!"}; f := {[Bar] => "?"}; f := {[55] => "~"}; (* tuples *) f := {[<>] => x}; f := {[] => x}; f := {[] => x}; f := {[] => x};