path: root/testsuite/tests/saks/should_fail/saks_fail002.hs

{-# LANGUAGE StandaloneKindSignatures #-}

module SAKS_Fail002 where

import Data.Kind (Type)

data D

type D :: Type
type D :: Type
type D :: Type