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

{-# LANGUAGE RankNTypes #-}
module GenericTree where
import Data.Typeable

dynRep ::
         (Typeable a) =>
         a -> (TypeRep, forall b . (Typeable b) => b -> (Maybe b))
dynRep a = (typeOf a, \ _ -> cast a)