haskell-src-exts-1.24.0: tests/examples/ConstraintKinds2.hs

{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE RankNTypes #-}

data Dict p where
    Dict :: p => Dict p