testsuite/tests/parser/should_fail/T12045d.hs


1
2
3
4
5
6
7
8
9
10
11

{-# Language DataKinds             #-}
{-# Language TypeApplications         #-}
{-# Language PolyKinds             #-}

module Bug where

import Data.Kind

data Nat = Zero | Succ Nat

data D n = MkD @Nat Bool