module Main where

import Data.Unit
import Test.Hspec

main :: IO ()
main = hspec $ do

  describe "unit" $ do
    it "equals ()" $
      unit `shouldBe` ()

  describe "Unit" $ do
    it "is the same type as ()" $
      (unit :: Unit) `asTypeOf` () `shouldBe` ()