Not sure about the current status but we usually put types on lhs