Comment by whateveracct

I think in this context, it is function as in a lambda in LC.

The answer is pretty much, yes, everything can be a function. e.g. A KV Map can be a function "K -> Maybe V"

P.S. If this style of thinking appeals to you, go read Algebra Driven Design! https://leanpub.com/algebra-driven-design