Recordify monad and either