Existentials in newtypes

参考リソース

• Infinite types and existential newtypes

• Existentials in newtypes

• A Foundation for GADTs and Inductive Families Dependent Polynomial Functor Approach

• newtype optimization for gadts