data Sizing = Static | Growing | Dynamic instance Eq Sizing instance Read Sizing instance Show Sizing newSize :: Sizing -> Point -> Point -> Point