Data.Invertible.Bool
not