blob: bc02f17b4c3395e91eb82e233cdafad97aa49f0d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# Language FlexibleInstances, TypeFamilies,
DataKinds, PolyKinds, MagicHash #-}
module Main where
import Data.Kind
import GHC.Exts
class Shw (a :: TYPE rep) where
shw :: a -> String
instance Int# ~ a => Shw (a :: TYPE IntRep) where
shw a = "I#" ++ show (I# a)
main = putStrLn (shw 3#)
|