liquidhaskell-0.8.2.4: Liquid Types for Haskell
Language.Haskell.Liquid.Transforms.Simplify
simplifyBounds :: SpecType -> SpecType Source #