Informasi yang berkaitan dengan ar/Dependent type