Assignment 3 - Nick Carter, Emily Blatter and Sisi Cheng (Team 1)

I was wondering why you used -> instead of =. == seems like a more natural choice. I wonder if you could have done something like =? where ? is a constructor for a class that takes a 1 + w type argument, and the first letters evaluate to the same type of class.