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