testsuite/tests/parser/should_compile/T18130.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

{-# Language DerivingVia #-}
{-# Language KindSignatures #-}

module T18130 where

import Data.Functor.Classes
import Data.Kind

newtype Par a b = Par (a, b)
  deriving Eq
  via (a, b)
   :: Type

  deriving Eq1
  via (,) a
   :: Type -> Type

  deriving Eq2
  via (,)
   :: Type -> Type -> Type