Types in Category of Types #card #bidirectional
corresponds to strong typing in programming
to compose two functions, the result of the first function has to be the same type as the input of the second function