Understood why more args to type class function than their definition: because of currying the returned function.