quasar
A source of strings unique within F[_], an implementation must have the property that, if Applicative[F], then (freshName |@| freshName)(_ != _).
F[_]
Returns a fresh name, guaranteed to be unique among all the other names generated from F.
F
Returns a fresh name, prefixed with the given string.
A source of strings unique within
F[_]
, an implementation must have the property that, if Applicative[F], then (freshName |@| freshName)(_ != _).