purescript-0.7.0.0: examples/failing/KindError.purs

module Main where

import Prelude

data KindError f a = One f | Two (f a)