Type-based useless-code elimination for functional programs - Position paper