"N-strictness in applicative theories" - читать интересную книгу автора (Kahle R.)