This passes, but I still want result types...