The compiler is unable to type-check this expression in reasonable time; try breaking up the expression into distinct sub-expressions #6