refine tuple syntax, however left problems in MONAD.slf