Use --smart pandoc mode
Write about parametric and ad-hoc polymorphism