Started writing test cases. Property based testing seems appropriate for Pos.hs... fun times :D