1module Main where
2
3import Prelude
4import Effect.Console (log)
5import Test.Assert
6
7data Proxy a = Proxy
8
9class ShowP a where
10  showP :: a -> String
11
12instance test1 :: ShowP (Proxy ((a) :: Type)) where
13  showP _ = "Type"
14
15instance test2 :: ShowP (Proxy ((a) :: Symbol)) where
16  showP _ = "Symbol"
17
18main = do
19  assert (showP (Proxy :: _ Int) == "Type")
20  assert (showP (Proxy :: _ "foo") == "Symbol")
21  log "Done"
22