-- | create diagnostic for different kinds
diffKindDiag :: (GetRange a, Pretty a) =>
                a -> RawKind -> RawKind -> [Diagnosis]
diffKindDiag a k1 k2 =
   [Diag Error (diffKindString (showDoc a "") k1 k2) $ getRange a]
diffKindDiag :: (GetRange a, Pretty a) =>
                a -> RawKind -> RawKind -> [Diagnosis]
diffKindDiag a k1 k2 =
   [Diag Error (diffKindString (showDoc a "") k1 k2) $ getRange a]
diffKindDiag a k1 k2 =
   [Diag Error (diffKindString (showDoc a "") k1 k2) $ getRange a]