"Generic Programming: Advanced Lectures " - читать интересную книгу автора (Roland Backhouse, Jeremy Gibbons)