T16116a.hs 190 Bytes
Newer Older
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