Put a lower bound on stm so we get tryReadTChan