rnd_v0 <- arbitrary :: Gen Point
rnd_v1 <- arbitrary :: Gen Point
rnd_v2 <- arbitrary :: Gen Point
rnd_v3 <- arbitrary :: Gen Point
rnd_v0 <- arbitrary :: Gen Point
rnd_v1 <- arbitrary :: Gen Point
rnd_v2 <- arbitrary :: Gen Point
rnd_v3 <- arbitrary :: Gen Point