Unbound.Generics.LocallyNameless.Name
data Name a
isFreeName
string2Name
s2n
makeName
name2String
name2Integer
data AnyName