testsuite/tests/typecheck/should_fail/T12045c.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE PolyKinds, TypeApplications, KindSignatures, DataKinds, GADTs
             , TypeFamilies, RankNTypes #-}

module T12045c where
import Data.Kind

type family F a where
  F @Type a = Bool
  F @(Type -> Type) b = Char