let
assoc_exn = assoc