Also habe ich eine Funktion apply :: proxy tf -> tf Int -> tf Int , die einen Proxy übernimmt, der eine Typfamilie enthalten soll, und wendet Int auf diese Typfamilie an, um den Typ des zweiten Arguments und den Rückgabewert zu bestimmen...
24.04.2015, 19:53