. . . . "The hom functor takes your source and target types S and T to the type of a function with input S and output T. Or is it that you are used to not allowing functions full citizenship?" . . .