packages feed

haskell-tools-builtin-refactorings-1.0.1.1: test/ExtensionOrganizerTest/TypeFamiliesTest/TypeEqualityInName.hs

{-# LANGUAGE TypeFamilies #-}

module TypeEqualityInName where

import Definitions

{-@ GADTs @-}

g = eqRelName {-* TypeFamilies + GADTs *-}