Added HasKind module"