T5686.hs 136 Bytes
Newer Older
Simon Peyton Jones's avatar
Simon Peyton Jones committed
1
2
3
4
5
6
7
{-# LANGUAGE TypeFamilies, DeriveFunctor #-}
module Main where

data U a = U (G a) deriving Functor

class A a where
   type G a