added verified bifunctors