Skip to content

Instantly share code, notes, and snippets.

@hgiasac

hgiasac/typeable39.hs Secret

Created January 4, 2019 17:55
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 hgiasac/6bd2a86bd4f07b51ca325a10592ea2ee to your computer and use it in GitHub Desktop.
Save hgiasac/6bd2a86bd4f07b51ca325a10592ea2ee to your computer and use it in GitHub Desktop.
Download ZIP
Raw
typeable39.hs
Int :: Type
Int :: TYPE `LiftedRep -- Expanding Type
Int# :: TYPE 'IntRep
Float# :: TYPE 'FloatRep
(Int, Bool) :: Type
Maybe Int :: Type
Maybe :: Type -> Type
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment