Add custom smart operator function for idris