chapter 16 - exercise on determining kind in a type signature

Author: mukeshsoni

chapter16/be_kind.md

@@ -0,0 +1,27 @@
+1. What is the kind of a?
+
+```
+a -> a
+```
+
+Ans -
+Kind of a is '\*'
+
+2. What are the kinds of b and T?
+
+```
+a -> b a -> T (b a)
+
+Ans -
+Kind of b is `* -> *`
+Kind of T is `* -> *`
+
+3. What is the kind of c?
+```
+
+c a b -> c b a
+
+```
+Ans -
+The kind of c is `* -> * -> *`
+```