New posts in associated-types

Define a protocol type variable in another protocol

swift protocols associated-types

Getting associated type synonyms with template Haskell

haskell template-haskell type-families reify associated-types