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

{-# LANGUAGE TypeFamilies #-}

module ClosedTypeFamilyDecl where

type family F a :: * where  {-* KindSignatures *-}
  F Int  = Integer
  F Char = String  {-* TypeFamilies *-}