Language.Haskell.Liquid.Types.Strata

class SubStratum a

solveStrata

(<:=)