Report question

Question: Runtime comparison of types for lifting polymorphic data structures into GADTs