Language.Haskell.Liquid.Fresh

class Freshable m a