constructed type doesn't contain method impl anymore