Type Classes with Implicit Calculuc
Some code on dependent type