testsuite/tests/typecheck/should_fail/T18714.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ImpredicativeTypes #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
module T18714 where

import GHC.Exts

type Id a = a

type F = Id (Any :: forall a. Show a => a -> a)