packages feed

haskell-tools-builtin-refactorings-1.0.0.0: examples/Decl/TypeFamilyKindSig.hs

{-# LANGUAGE TypeFamilies #-}
module Decl.TypeFamilyKindSig where

type family Array (a :: *) :: *

type instance Array () = Int