let
insert (n :
'
a) (lst :
'
a list) :
'
a list =
if
List
.mem n lst
then
lst
else
n::lst