IdMonad constructor

IdMonad()