se estiver afim de desafios apenas sobre o sistema de tipos, podes olhar este git: https://github.com/type-challenges/type-challenges

é uma coisa linda, cheio de desafios para exercitar o entendimento do sistema de tipos e suas complexidades.