-- | check if raw kinds are compatible
checkKinds :: (GetRange a, Pretty a) =>
              a -> RawKind -> RawKind -> [Diagnosis]
checkKinds p k1 k2 =
    maybe (diffKindDiag p k1 k2) (const []) $ minRawKind "" k1 k2
checkKinds :: (GetRange a, Pretty a) =>
              a -> RawKind -> RawKind -> [Diagnosis]
checkKinds p k1 k2 =
    maybe (diffKindDiag p k1 k2) (const []) $ minRawKind "" k1 k2
checkKinds p k1 k2 =
    maybe (diffKindDiag p k1 k2) (const []) $ minRawKind "" k1 k2