lifting

    13गर्मी

    1उत्तर

    में एक उच्च आदेश समारोह भारोत्तोलन मैं प्रकार की एक समारोह के निर्माण के लिए कोशिश कर रहा हूँ: liftSumthing :: ((a -> m b) -> m b) -> (a -> t m b) -> t m b जहां t एक इकाई ट्रांसफार्मर है। विशेष रूप