commit
Yay type inference
printing even prettier (also lists)