Type inference and narrowing with reverse arrows

1 points | by josevalim 4 hours ago