testsuite/tests/polykinds/T15789.hs


1
2
3
4
5
6
7
8
9
10

{-# Language LiberalTypeSynonyms #-}
{-# Language PolyKinds           #-}
{-# Language RankNTypes          #-}
{-# Language DataKinds           #-}

import Data.Kind

type Cat ob = ob -> ob -> Type

data Zero :: forall (cat :: forall xx. xx -> Type) a. forall b. Cat (forall b. cat b u)