Re: [Haskell-cafe] object oriented technique

Should that be inner :: s?

data Shape = forall s. (Shapeful s)           => Shape { sx, sy :: Double,                      inner  :: a }