haskell-tools-builtin-refactorings-1.0.1.1: test/ExtensionOrganizerTest/ConstraintKindsTest/ClassConstraints.hs

{-# LANGUAGE ConstraintKinds #-}

module ClassConstraints where

type Bar1 a = Eq a            {-* ConstraintKinds *-}
type Bar2 a = (Eq a, Show a)  {-* ConstraintKinds *-}