Language.Haskell.Liquid.GhcPlay
class
Subable
a
subVar
substTysWith