Replace GADT with a record of handlers.