haskell-tools-builtin-refactorings-1.0.1.1: test/ExtensionOrganizerTest/TypeFamiliesTest/AssocTypeFamily.hs

{-# LANGUAGE TypeFamilies #-}

module AssocTypeFamily where

class Collects ce where
  type Elem ce :: *           {-* TypeFamilies, KindSignatures *-}
  type instance Elem ce = ()  {-* TypeFamilies *-}

instance Collects [a] where
  type Elem [a] = a           {-* TypeFamilies *-}