Language.Haskell.Liquid.Bare.Resolve

class Resolvable a