Keyword abtraction is changed, simple keyword encapsulation of monadic values.