1 2 3 4 5 6 7 8 9 10
{-# LANGUAGE TypeOperators, KindSignatures #-} module T7645 where import Data.Kind data (+) a b = P f :: ((+) a (a :: Type), Maybe) f = undefined