Language.Haskell.Liquid.Bare.RefToLogic

txRefToLogic

class Transformable a