А разве до -XTypeApplications не надо было использовать прокси? То

Question

есть писать ip :: Proxy x -> a, а затем ip (Proxy :: Proxy "x") вместо ip @"x". Понимаю, что страшно, но раньше это не выглядело как грязные хаки...

0

02.11.2017

16 просмотров

A64m AL256m qn<cores> I0 · Accepted Answer

не понял, этот тайпкласс же объявлен уже, ip такой какой есть, без прокси (для рассахаривания это не имеет значения, в корке @ был всегда)

0

02.11.2017