Moved to new versions of scalaz and dire

The biggest change were various variance annotations.