-- @shouldFailWith OrphanKindDeclaration
module Main where

type Foo :: Type