checked impl of interfaces