# Excercises: Be Kind
1. `a` is of kind `*`
2. `b` is of kind `* -> *`, `T` has kind `* -> *`
3. `c` is of kinde `* -> * -> *`