use stan with Frechet distribution