Implement List using Mu fix-point