Language.Haskell.Liquid.Constraint.Fresh

class Freshable m a