header
Daniel Kuntz
The compiler is unable to type-check this expression in reasonable time