relax some types