Das Modul "{0}" enthält {1} Die Signatur gibt aber Folgendes an: {2} Eine Angabe ist eine Typfunktion, die andere nicht. ...

Das Modul "{0}" enthält
    {1}    
Die Signatur gibt aber Folgendes an:
    {2}    
Eine Angabe ist eine Typfunktion, die andere nicht. Die Signatur erfordert explizite Typparameter, falls diese in der Implementierung vorhanden sind.