{"body":"Prelude Data.Typeable> :t typeRep\r\ntypeRep :: Typeable a => proxy a -> TypeRep\r\nPrelude Data.Typeable> typeRep (Just ())\r\n()\r\nPrelude Data.Typeable> newtype T = T ()\r\nPrelude Data.Typeable> typeRep (Just $ T ())\r\nT\r\n","name":"","extension":"txt","url":"https://www.irccloud.com/pastebin/tW741w61","modified":1622753555,"id":"tW741w61","size":216,"lines":7,"own_paste":false,"theme":"","date":1622753555}