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

{-# LANGUAGE TypeFamilies #-}

module TypeFamilyDecl where

type family F a :: * {-* TypeFamilies, KindSignatures *-}

type instance F Int  = Integer  {-* TypeFamilies *-}
type instance F Char = String   {-* TypeFamilies *-}