>В качестве аргумента сказал, что любой ФЯ содержит в себе процедурный кусок, например, монады