svenpanne / objectname Goto Github PK

First of all, my apologies if I don't fully understand the code behind ObjectName -- I'm unsure as to whether or not the change I'm about to request is possible.

I've been considering making use of the typeclasses defined in Data.ObjectName in a project I'm working on; however, I noticed there is a type constraint of MonadIO on the type variable m rather than a looser constraint of Monad m. I wondered if this is out of necessity or by design and also wondered if such a change might be considered if it is possible, as it would be useful to generate object names in a pure monadic context such as State.

In short, is it possible to change the constraint MonadIO m to simply Monad m to allow instances of ObjectName and GeneratableObjectName to be written within non-IO monads?