blob: cbadf3d3e5edf6c5cd7dcb02c6e01bb75c7b1c4a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE ExplicitForAll #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE StandaloneDeriving #-}
module T18240b where
import Data.Proxy
data T a b
class W x y z
instance W x y (T a b)
newtype Foo a b = MkFoo (T a b)
deriving via (forall x. T x y) instance W x y (Foo a b)
deriving via forall x. forall y. T x y instance W x y (Foo a b)
deriving via forall x. (forall y. T x y) instance W x y (Foo a b)
class C1 x
class C2 x y z
data Bar = MkBar
deriving anyclass ( C1
, (forall x. C2 x y)
, forall x. forall y. C2 x y
, forall x. (forall y. C2 x y)
)
|