testsuite/tests/polykinds/T5716a.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE GADTs                      #-}
{-# LANGUAGE TypeFamilies               #-}
{-# LANGUAGE PolyKinds                  #-}
{-# LANGUAGE DataKinds                  #-}

module T5716a where


data family DF a 
data instance DF a = Bar (Bar a)