Data.Invertible.Enum
enum
succ