Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
data Primitive = Num
|Chr
|Str
|Cnd Bool deriving (Show)
data T = K Int | R Int
-- >>> :set -XDataKinds
-- >>> :t Num
-- Num :: Primitive
-- >>> :k Num
-- Num :: * -> Constraint
-- >>> :k 'Num
-- 'Num :: Primitive
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.