Type annotations breaks code

When the function `showLamR` is used

```
showLamR :: Mu (V1 (R '["var" := Zero Int, "lam" := One])) -> String
showLamR x = ((Rec showVar) `brnr` (Rec showLam)) ~$~ x
```
breaks the repl, while
```
showLamR :: Mu (V1 (R '["lam" := One, "var" := Zero Int])) -> String
showLamR x = ((Rec showVar) `brnr` (Rec showLam)) ~$~ x
```
does not