ADT arguments and Levity Polymorphism