be_kind.md

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 `* -> * -> *`