blob: cf36208b04ffff68f74d553e7710028d2537c75a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE MagicHash #-}
module T14561 where
import Data.Coerce
import GHC.Exts
badId :: forall r (a :: TYPE r). a -> a
badId = coerce
-- Un-saturated application of a representation-polymorphic
-- function that must be eta-expanded
|