one error down. no clue why scala can no longer infer this
Also no clue how the types in this expression line up in the end