type incompatibilities in connection with inheritance?