Language.Haskell.Liquid.GHC.Play
dataConImplicitIds
class Subable a
subVar
substTysWith
mapType
stringClassArg