extensibility in fp and oo 733194