{-# LANGUAGE DeriveDataTypeable,
             DeriveFunctor,
             DeriveFoldable,
             DeriveTraversable,
             DeriveGeneric,
             DeriveLift,
             DeriveAnyClass,
             GeneralizedNewtypeDeriving,
             StandaloneDeriving,
             TypeSynonymInstances,
             DerivingStrategies
             #-}

module StandaloneDataSynonymsStrategies where

import SynonymDefinitions

deriving stock instance Show    (D0 a)  {-* DerivingStrategies, TypeSynonymInstances, StandaloneDeriving *-}
deriving stock instance Read    (D0 a)  {-* DerivingStrategies, TypeSynonymInstances, StandaloneDeriving *-}
deriving stock instance Eq      (D0 a)  {-* DerivingStrategies, TypeSynonymInstances, StandaloneDeriving *-}
deriving stock instance Enum    (D0 a)  {-* DerivingStrategies, TypeSynonymInstances, StandaloneDeriving *-}
deriving stock instance Ord     (D0 a)  {-* DerivingStrategies, TypeSynonymInstances, StandaloneDeriving *-}
deriving stock instance Bounded (D0 a)  {-* DerivingStrategies, TypeSynonymInstances, StandaloneDeriving *-}
deriving stock instance Ix      (D0 a)  {-* DerivingStrategies, TypeSynonymInstances, StandaloneDeriving *-}

deriving stock instance Data a     => Data     (D0 a) {-* DerivingStrategies, TypeSynonymInstances, StandaloneDeriving, DeriveDataTypeable *-}
deriving       instance Typeable a => Typeable (D0 a) {-*                     TypeSynonymInstances, StandaloneDeriving, DeriveDataTypeable *-}
deriving stock instance Generic a  => Generic  (D0 a) {-* DerivingStrategies, TypeSynonymInstances, StandaloneDeriving, DeriveGeneric *-}
deriving       instance Lift a     => Lift     (D0 a) {-*                     TypeSynonymInstances, StandaloneDeriving, DeriveLift *-}
deriving stock instance Functor     D0                {-* DerivingStrategies, TypeSynonymInstances, StandaloneDeriving, DeriveFunctor *-}
deriving       instance Foldable    D0                {-*                     TypeSynonymInstances, StandaloneDeriving, DeriveFoldable *-}
deriving stock instance Traversable D0                {-* DerivingStrategies, TypeSynonymInstances, StandaloneDeriving, DeriveTraversable *-}

deriving anyclass instance C1 (D0 a) {-* DerivingStrategies, TypeSynonymInstances, StandaloneDeriving, DeriveAnyClass *-}