Deducer for seq

 * Implicit context works better (wraps in ->Just now)