Language.Haskell.Liquid.Strata

class SubStratum a

solveStrata

(<:=)