testsuite/tests/quantified-constraints/T22216b.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE StandaloneDeriving #-}

module T22216b where

import Data.Functor.Classes

newtype T f a = MkT (f a)
  deriving ( Eq, Ord, Eq1
           , Ord1
           )