Handle TypedValues in desugaring guards

Since we desugar guards after type checking we need to make sure to
correctly handle `TypedValue` expressions.

src/Language/PureScript/Sugar/CaseDeclarations.hs

@@ -72,6 +72,7 @@ desugarGuardedExprs (Case scrut alternatives)
     isTrivialExpr (Accessor _ e) = isTrivialExpr e
     isTrivialExpr (Parens e) = isTrivialExpr e
     isTrivialExpr (PositionedValue _ _ e) = isTrivialExpr e
+    isTrivialExpr (TypedValue _ e _) = isTrivialExpr e
     isTrivialExpr _ = False
 
 desugarGuardedExprs (Case scrut alternatives) =
@@ -261,6 +262,12 @@ desugarGuardedExprs (Case scrut alternatives) =
     alts' <- desugarAlternatives alternatives
     return $ optimize (Case scrut alts')
 
+desugarGuardedExprs (TypedValue infered e ty) =
+  TypedValue infered <$> desugarGuardedExprs e <*> pure ty
+
+desugarGuardedExprs (PositionedValue ss comms e) =
+  PositionedValue ss comms <$> desugarGuardedExprs e
+
 desugarGuardedExprs v = pure v
 
 -- |