[rocky/et] add support for double dispatch by using fold. #18

Open ghjang opened 7 years ago