I thought I had imagined that game. I played it on my aunt's game boy at one point, and later assumed I just had a confused kid memory of Super Mario Land.

I used to have it and it was one of my favorite games. Mario had sooooo many different moves you could chain together and the amount of levels and their variety was very impressive for the time.

It's really fun even today. When I was young my aunt gave me Donkey Kong GB, Kirby's Pinball Land, and the big grey brick GB.