might start talking about polymorphic syntax