renderPosition :: P3 -> IO ()
renderPosition (P3 x y z) =
   GL.translate (vector3f (2 * fromIntegral x) (2 * fromIntegral y) (fromIntegral z))
renderPosition :: P3 -> IO ()
renderPosition (P3 x y z) =
   GL.translate (vector3f (2 * fromIntegral x) (2 * fromIntegral y) (fromIntegral z))
renderPosition (P3 x y z) =
   GL.translate (vector3f (2 * fromIntegral x) (2 * fromIntegral y) (fromIntegral z))