Your intention would be helpful to make types implicit here :) I think they don't really add anything to readability