haskell-tools-builtin-refactorings-1.1.0.0: test/ExtensionOrganizerTest/TypeFamiliesTest/NestedTypeEqualitySynonyms.hs

{-# LANGUAGE TypeFamilies, ConstraintKinds #-}

module NestedTypeEqualitySynonyms where

import Definitions

{-@ GADTs, ConstraintKinds @-}

type TripleEq a b c = (HiddenEqRel a b, HiddenEqRel b c) {-* TypeFamilies + GADTs, TypeFamilies + GADTs, TypeFamilies + GADTs, ConstraintKinds *-}