purescript-0.15.15: tests/purs/passing/ContextSimplification.purs

module Main where

import Prelude
import Effect.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"