fourmolu-0.0.6.0: data/examples/declaration/value/function/awkward-comment-1-out.hs

doForeign :: Vars -> [Name] -> [Term] -> Idris LExp
doForeign x = x
  where
    splitArg tm | (_, [_, _, l, r]) <- unApply tm -- pair, two implicits
      =
      do
        let l' = toFDesc l
        r' <- irTerm (sMN 0 "__foreignCall") vs env r
        return (l', r')