2 ms·... also, `propEq` is already in the lib.by buzzdecafe 12y ago... also, `propEq` is already in the lib.