Obvious to the programmer, it holds that Arrows (Domains func) (CoDomain func) ~ func . But I can't get curries (Proxy :: Proxy (Domains func)) ...
確定! 回上一頁