(??) :: Functor f => f (a -> b) -> a -> f b funs ?? a = fmap ($ a) funs
This is valid definition of lift along a different, less interesting but more general axis.
lift = (??) @[]