Compilation issue with existential types in Haskell

Question

I\'ve written a simple typeclass Shape:

class Shape a where
  draw   :: a -> IO ()
  move   :: (Double,