carith t = error $ "Can't happen: Not an exportable arithmetic type " ++ show t
carith t = error $ "Can't happen: Not an exportable arithmetic type " ++ show t
carith t = error $ "Can't happen: Not an exportable arithmetic type " ++ show t