તેમણે એક વિશિષ્ટ સિસ્ટમ છે જે મુશ્કેલી વિવિધ monads છે એક સભ્ય છે કે દાવો કર્યો હતો.