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

-- @shouldWarnWith MissingKindDeclaration
module Main where

type T f a = f (f a)