../../Task/Factorial/Pure