purescript-0.14.5: tests/purs/warning/4183.purs

-- @shouldWarnWith MissingKindDeclaration
module Main where

type T f a = f (f a)