WIP - Trying to find bugs

Code being used for testing, tyring to figure out why quickcheck
properties are failing.