In standard jargon of C and C++, the phrase "atomic object" means "object of atomic type," does it not?

## Should i place the parameter storage class specifier in the function definition or in both the declaration and definition?

I'm working on porting some old K&R code to ANSI C, so I'm writing missing function prototype declarations. A lot of the function definitions have parameters with the register storage class, but I'm not sure if the register storage class specifier can be omitted in the function prototype?

## `(a -> b) -> (c -> d)` in Haskell?

This is yet another Haskell-through-category-theory question.Let's take something simple and well-known as an example. fmap? So fmap :: (a -> b) -> f a -> f b, omitting the fact that f is actually a Functor. As far as I understand, (a -> b) -> f a -> f b...