Using ExceptT for blow ups.