path: root/testsuite/tests/typecheck/should_fail/T7645.hs

{-# LANGUAGE TypeOperators, KindSignatures #-}
module T7645 where

import Data.Kind

data (+) a b = P

f :: ((+) a (a :: Type), Maybe)
f = undefined