haskell-src-exts-1.17.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