Idea about Safe Haskell/RIO/LIO