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

{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE RankNTypes #-}
module Main (main) where
 
data Dict p where
        Dict :: p => Dict p