Add dependent type on led#loop function