blob: a93256c92c23b98586e18d466edcef516d46fcfe (
plain)
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
|