For Form, pure function returns a Form with Proved () (FormRange i i) a, while ipure function returns a Form with Proved p (unitRange i) a. FormRange i i is a zero-width range, and it's not equal to unitRange i.
I think pure function is wrong because the FormRange in the FormState would never be a zero-width range in normal operation.
For
Form,purefunction returns aFormwithProved () (FormRange i i) a, whileipurefunction returns aFormwithProved p (unitRange i) a.FormRange i iis a zero-width range, and it's not equal tounitRange i.I think
purefunction is wrong because theFormRangein theFormStatewould never be a zero-width range in normal operation.