New posts in Category Abstractions

Is (\f -> fmap f id) always equivalent to arr?

Generalising ($) like Control.Category generalises (.)

What good is Control.Category?

Would a type class "between" Category and Arrow make sense?