Not sure if making this covariant is actually *correct*. This is making me suspicious in general of FlowState in it's current form: https://github.com/scalaz/scalaz/blob/scalaz-seven/core/src/main/scala/scalaz/Unapply.scala#L25-L39