compact-annotations (racket): Function type annotation syntax for Typed Racket similar to Haskell
Keywords: experimental|sugar|typed-racket|types