Types is now lhs