imho if you have to do _:type, _: type, _:type it's not worth the gain over the function syntax (which often infers types more intelligently and let's you name variables in cases where the _'s aren't self evident, like this). could be wrong though.