# LANGUAGE UndecidableInstances , GeneralizedNewtypeDeriving , TypeFamilies #

module GNDForAssociatedTypes where

class C a where
* TypeFamilies , KindSignatures *

newtype Loop = MkLoop Loop
* GeneralizedNewtypeDeriving , UndecidableInstances *

# LANGUAGE UndecidableInstances , GeneralizedNewtypeDeriving , TypeFamilies #

module GNDForAssociatedTypes where

class C a where
* TypeFamilies , KindSignatures *

newtype Loop = MkLoop Loop
* GeneralizedNewtypeDeriving , UndecidableInstances *
