• ? code Haskell
    А сообщество уже придумало хороший обратно совместимый вариант решения:
    ```
    src/Control/Distributed/Static.hs:479:1: warning: [-Wredundant-constraints]
        • Redundant constraints: (Typeable a, Typeable b, Typeable c)
        • In the type signature for:
               composeStatic :: (Typeable a, Typeable b, Typeable c) =>
                                Static ((b -> c) -> (a -> b) -> a -> c)
    ```

Replies (1)