path: root/testsuite/tests/gadt/gadt10.hs

{-# LANGUAGE GADTs #-}

module ShouldFail where

-- Kind error
data RInt a where R :: RInt