purescript-0.11.0: examples/passing/EntailsKindedType.purs

module Main where

import Prelude
import Control.Monad.Eff
import Control.Monad.Eff.Console

test x = show (x :: _ :: Type)

main = do
  when (show (unit :: Unit :: Type) == "unit") (log "Done")
  when (test unit == "unit") (log "Done")