let ty_def = AST.TDR $ AST.RecordTypeDef elems
return $ Just (ty_id, Left ty_def)
dcs -> error $ "Only single constructor datatypes supported: " ++ pprString tycon
let ty_def = AST.TDR $ AST.RecordTypeDef elems
return $ Just (ty_id, Left ty_def)
dcs -> error $ "Only single constructor datatypes supported: " ++ pprString tycon