path: root/testsuite/tests/saks/should_compile/T16723.hs

{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}

module T16723 where

import Data.Kind

type D :: forall a. Type
data D