What is the use of this in AFRP code? I know it shows up in the "arrow laws" but I don't think that is good reason to put it in the API. If someone wants this, why not just write something along the lines of:

    pure (\(a,b) -> (f a, b))
    auto *** pure id