# OPTIONS_GHC -fno - warn - type - defaults #

# LANGUAGE NoImplicitPrelude #
  { - # LANGUAGE OverloadedStrings # - }

module Ch24_System_F_Existentials where

 import            Protolude 
 import            Test . Hspec 

 idT : : Spec 
 idT   = do 
   it " i d 1 " $ i d   1   ` shouldBe `   1 
   it " i d 2 " $ i d ' 2 ' ` shouldBe ` ' 2 ' 

import           Protolude
import           Test.Hspec

idT :: Spec
idT  = do
  it "id 1" $ id  1  `shouldBe`  1
  it "id 2" $ id '2' `shouldBe` '2'
-}

# OPTIONS_GHC -fno - warn - type - defaults #

# LANGUAGE NoImplicitPrelude #
  { - # LANGUAGE OverloadedStrings # - }

module Ch24_System_F_Existentials where

 import            Protolude 
 import            Test . Hspec 

 idT : : Spec 
 idT   = do 
   it " i d 1 " $ i d   1   ` shouldBe `   1 
   it " i d 2 " $ i d ' 2 ' ` shouldBe ` ' 2 ' 

import           Protolude
import           Test.Hspec

idT :: Spec
idT  = do
  it "id 1" $ id  1  `shouldBe`  1
  it "id 2" $ id '2' `shouldBe` '2'
-}
