work on data kinds version of the indexed reader
polykinded version of IxMonad