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

{-# LANGUAGE PolyKinds #-}

data Proxy t = Proxy

class Typeable t where
        typeOf :: Proxy t -> TypeRep

instance Typeable Int where
        typeOf _ = TypeRep

instance Typeable [] where
        typeOf _ = TypeRep