[talex5]

Yes, and this hairiness is the main reason the abstraction is useful. If you want to add support for e.g. dependencies on source code, cross-compilation, multiple scopes, etc, you can now do so without looking at the hairy code at all, because the type signature tells you everything you need to know about it and is abstract enough to support what you want.

And if you do need to work on it, you don't need to think about the rest of the program at the same time.

e.g. because you want to make it less hairy ;-)