проблема типирования по ПЙ именно в... скудности описания типов, что ли.
1В, как и другая первая функция, довольна самодостаточна - никуда и никого за собой вести не нужно. Главное - "я знаю, чего хочу Я, а вы, если хотите можете идти за мной, а не хотите, как хотите".
вдогонку: имхо, не стОит читать описание отдельного аспекта - та же первая воля у разных типов будет проявляться по-разному.
попробуйте посмотреть описания типов
