T11136.hs 105 Bytes
Newer Older
1
2
3
4
5
6
7
{-# LANGUAGE TypeFamilies #-}

module T11136 where

class C a where
  type D a
  type instance D a x = x