purescript-0.15.17: tests/purs/failing/DeriveClauseKindMismatch.purs
-- @shouldFailWith KindsDoNotUnify module Main where import Prelude data Box a = Box a derive (Eq)
-- @shouldFailWith KindsDoNotUnify module Main where import Prelude data Box a = Box a derive (Eq)