- Removed unnecessary lhs type checking