Proxy
из Data.Proxy
кажется не более чем простой
data Proxy s
Когда мне нужен такой необитаемый тип или, вернее, то, что он позволяет, я не мог бы сделать иначе, когда он упрощает вещи по сравнению с другими подходами и как он используется на практике?