`toEnum` modulo `Cardinality a`

Given a `BoundedEnum a`, it would be nice to have a function

```
toEnumModulo :: Int -> a
```

which would reduce the input modulo `Cardinality a` and then retrieve the element in the enum, being safe that it will remain in the defined buondary