We would need to define an instance for every type...
# arrow
m
We would need to define an instance for every type which can be contained in a list