Renamed seq to avoid conflict with prelude seq