fix static assertion of implementations