[Haskell-cafe] object oriented technique

[Lyndon Maydwell]

Should that be inner :: s?


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