I can see this making sense for type signatures and data structures—or class definitions, interface definitions. Not so sure about "entry points". Contracts, ab

I can see this making sense for type signatures and data structures—or class definitions, interface definitions. Not so sure about "entry points". Contracts, abstractions. Typical Haskell code would really lend itself to being summarized like this—typeclass instances, etc.