-
-
Save hgiasac/3748bd858271c41079f9a57e4e986a6f to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
class Typeable (t :: *) where | |
typeOf :: t -> TypeRep | |
class Typeable1 (t :: * -> *) where | |
typeOf1 :: t a -> TypeRep | |
... | |
-- The maximum number of parameters was 7 | |
class Typeable7 (t :: * -> * -> * -> * -> * -> * -> * -> *) where | |
typeOf7 :: t a b c d e f g -> TypeRep |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment