srid/haskell-progression not found