How many distinct functions of type bool -> bool are there? That is, how many different functions bool -> bool can you write such that none is equal to another?