Some experiments with algebra based development & property based testing - View it on GitHub