purescript-0.9.1: examples/passing/ContextSimplification.purs

module Main where

import Prelude
import Control.Monad.Eff.Console

shout = log <<< (_ <> "!") <<< show

-- Here, we should simplify the context so that only one Show
-- constraint is added.
usesShowTwice true = shout
usesShowTwice false = logShow

main = do
  usesShowTwice true "Test"
  log "Done"