nest normally with lambda and fixpoints