Expressions of type t denote a truth value, usually rendered as the set\{0,1\}, where 0 stands for "false" and 1 stands for "true".
We can now assign types to the words in our sentence above (Every boy sleeps) as follows.