((->) e)はFunctorだと言わなくても、(.)はfmapだと言えばいいのでは

($)は(>>=)だとか($!)も(>>=)だとか