Category "fixpoint-combinators"

Need help understanding Fix type in Haskell

I didn't have any problems understanding how fix function works in Haskell, but I just can't wrap my head around Fix data type. I believe I get the idea behind