blob: cf9fb651cc9456fd9adece3288f9c2a118b3280c (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE RankNTypes, DataKinds #-}
module T17355 where
import GHC.Generics
import GHC.Records
data Foo = Foo { poly :: forall a. a -> a }
instance Generic (forall a . a)
instance HasField "myPoly" Foo (forall a. a -> a) where
getField (Foo x) = x
|