hs-conceal

Plugin to automatically conceal forall and the like. For example,

scope == mempty

would display as

scope ≡ ∅

when you're not editing that line.

Works for Haskell, Idris, and PureScript.