Type definitions using implicit construction may only have one 'inherit' specification and it must be the first declaration ...