Primero hay que entender que hace (. f). Si f es una función, de tipo f :: a -> b, entonces (.f) es de tipo (b -> c) -> (a->b), y lo que hace es que actúa sobre una función componiendo por la izquierda, es decir: (.f) g = g.f
Por otro lado, (+) es una función que actúa sobre un número y te devuelve la función "suma ese número", es decir, (+) 3 es una función que toma un número n y te devuelve n+3.
Ahora ya podemos entender (. unaFuncion) . (+). Supondremos que unaFuncion :: a->b. Si aplicamos esto a un número x, tenemos (.unaFuncion).(+) x = ((+) x).unaFuncion, y si ahora aplicamos este resultado a un objeto y que sea del tipo a, tenemos
((+) x).unaFuncion y = ((+) x) (unaFuncion y) = (unaFuncion y) + x
Por tanto, (.unaFuncion).(+) es lo mismo que unaFuncionMisteriosa.