TODOs:
- Recursive Type Aliases?
- Use the shortest name (by AST nesting) findable that matches
- EG:
Pipe () () ~ Bool
not the raw description.
- EG:
- Use the shortest name (by AST nesting) findable that matches
- Parser for
|
,\
,/
, overloaded.
or maybe it's just flip composition