fun_co_fn = co_fn, fun_tick = tick, fun_infix = inf }) = do
(args, body) <- matchWrapper (FunRhs (idName fun) inf) matches
body' <- mkOptTickBox tick body
rhs <- dsCoercion co_fn (return (mkLams args body'))
return ((fun,rhs) : rest)
fun_co_fn = co_fn, fun_tick = tick, fun_infix = inf }) = do
(args, body) <- matchWrapper (FunRhs (idName fun) inf) matches
body' <- mkOptTickBox tick body
rhs <- dsCoercion co_fn (return (mkLams args body'))
return ((fun,rhs) : rest)