constraint-kinds

Wenn ich kind von Maybe überprüfe, bekomme ich Folgendes: %Vor% Wenn ich nun die Art von Monad überprüfe, bekomme ich folgendes: %Vor% Was ist Constraint dort und warum wird es benötigt? Warum nicht nur dieses * -> * ?...