Kitaab

What is a type? | Lambda the Ultimate