Because most typeclasses only provide the last gen...
# arrow-contributors
p
Because most typeclasses only provide the last generic parameter, the rest have to be fixed