It turns out that failing the map implementation wasn't completely my fault! There's a bug in the type inference which wasn't definitely helping me :D Next time I'll write the correct implementation and move to the next exercises! If you want to support me :) https://github.com/sponsors/dariooddenino