## How to proof the number of possible functions?

Looking at function declaration, for example:
myFoo :: Bool -> Bool
I could say, the function myFoo has four possible unique implementation because function type is the exponent operator, here is the proof from the case above 2^2 = 4:
myFoo1 :...

more
»