purescript-0.7.3.0: examples/failing/InfiniteKind.purs

-- @shouldFailWith InfiniteKind 

module Main where

data F a = F (a a)