I think right thing to do here is to export `PowerInfo (..)` since otherwise `getPowerInfo` won't be useful anyway. Can you instead of removing field accessors export `PowerInfo (..)`?