"A basis for the type" - читать интересную книгу автора (Wismath S. L.)