Data.Yoko.Invariant