Simple polymorphic program