haskell-tools-builtin-refactorings-1.1.0.0: test/ExtensionOrganizerTest/UndecidableInstancesTest/SynBadTyVars.hs

{-# LANGUAGE ConstraintKinds, UndecidableInstances, FlexibleInstances, FlexibleContexts #-}

module SynBadTyVars where

import Definitions


type SynC a = C (a,a)  {-* ConstraintKinds, FlexibleContexts, FlexibleContexts *-}

instance SynC (a,a) => C a  {-* UndecidableInstances, FlexibleInstances, FlexibleContexts *-}