Skip to content

Instantly share code, notes, and snippets.

@michaelt

michaelt/gist:fa2c8ceb9fb8ddbe1538

Last active August 29, 2015 14:10
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save michaelt/fa2c8ceb9fb8ddbe1538 to your computer and use it in GitHub Desktop.
Save michaelt/fa2c8ceb9fb8ddbe1538 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
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