concatenative obscurity

gistfile1.hs

import System.Directory
import System.FilePath
import Control.Monad.List
import Control.Arrow
import Control.Applicative
import Control.Lens
import Data.Function
import Data.Monoid

cleave :: (a -> b) -> (a -> c) -> (b -> c -> d) -> a -> d 
cleave h i f = liftA2 f h i

fam = fst &&& (\(path,time) -> replaceBaseName path $ takeBaseName path ++ time)
fim = fst &&& liftA2 replaceBaseName fst (liftA2 (++) (takeBaseName.fst) snd)  -- ugliest
fum = fst &&& uncurry (cleave replaceBaseName ((++) . takeBaseName) (.))
fem = fst &&& uncurry (liftA2 (.) replaceBaseName ((++) . takeBaseName))
fom = fst &&& uncurry (liftA2 liftA replaceBaseName ((++) . takeBaseName))