function-inhabitatns.txt

f: A -> B


a1      b_1,, b_2, b_3, ..., b_n   // ord(B) constant functions
a2      a1 -> ord(B), a2 -> ord(B) // ord(B) constant functions // from the firs arg * ord(B) constant functions from the second arg

we can think of adding inhabitants of "input" arguments as having "another" as
having permutations (with repetition) 

 - where the ord(B) how many possibilities of "outcomes we have" and the amount
   of inputs (ord(A)) determine how many times we "draw"