Totally! I imagine a web of types and function definitions (as diagrams)