haskell-src-exts-1.16.0: tests/examples/PolyKinds.hs.prettyprinter.golden

{-# LANGUAGE PolyKinds #-}
module Main (main) where
 
data Proxy t = Proxy
 
class Typeable t where
         
        typeOf :: Proxy t -> TypeRep
 
instance Typeable Int where
        typeOf _ = TypeRep
 
instance Typeable [] where
        typeOf _ = TypeRep