Hacker News new | ask | show | jobs
by laszlokorte 1106 days ago
A simple syntax would be something like

map :: forall a. ([a] -> [a])

or

map :: <a> ([a] -> [a])