testsuite/tests/indexed-types/should_compile/OversatDecomp.hs


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

{-# LANGUAGE TypeFamilies, MultiParamTypeClasses #-}

module OversatDecomp where

class Blah f a where
  blah :: a -> T f f a

class A (f :: * -> *) where
  type T f :: (* -> *) -> * -> *

wrapper :: Blah f a => a -> T f f a
wrapper x = blah x