blob: 9a111a2cc2f087332064a6053907ea523cc7e138 (
plain)
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)
|