Paul Woitaschek
11/02/2018, 3:44 PMfun d(x : X, y : Y) it's painful to change all that code just for passing them through from fun a(x : X, y : Y) -> fun b(x : X, y : Y) -> fun c(x : X, y : Y) -> fun d(x : X, y : Y).
Are there any common approaches / patterns to solve this?spand
11/02/2018, 3:47 PMdalexander
11/02/2018, 3:47 PMspand
11/02/2018, 3:48 PMspand
11/02/2018, 3:55 PMreceiver. This keeps it a bit under control but not very good general solution.Egor Trutenko
11/02/2018, 4:08 PM