Jalapeno Pinto Beans

• 3 garlic pressed (cloves)
• 2 jalapeno peppers seeded
• 1 onion
• 1 bay leaf
• 600 ml water
• 450 gr pkg pinto beans (dried)
• 28 gr cheddar
• 2 gr cumin (ground)
• 2 gr salt
• 1 gr pepper