> For example, you can't submit any old Haskell library you put together to Hackage

You can, but you need to figure out what your library is doing and translate it to category theory.