haskel progress