Forced evaluation to an arbitrary finite depth
Forced evaluation over a pattern (arbitrary finite, or dynamic)
Forced evaluation "molecular style"
Generic deriving support via Generics.SOP
Re-exported
"I can has data family?..."
Transient flag while old grammar is phased out