testsuite/tests/rename/should_compile/T16116a.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-}
module T16616a where

class C a where
  type T a b

instance C (Maybe a) where
  type forall b. T (Maybe a) b = Either a b