testsuite/tests/deriving/should_fail/Roles9.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE GeneralizedNewtypeDeriving, RoleAnnotations #-}

module Roles9 where

class C a@N where
  meth :: a -> a

instance C Int where
  meth = (+ 1)

newtype Age = MkAge Int
  deriving C