Inferrence is beginning to work.
Problems with lists.