diff --git a/lub.cabal b/lub.cabal
--- a/lub.cabal
+++ b/lub.cabal
@@ -1,5 +1,5 @@
 Name:                lub
-Version:             0.0.0
+Version:             0.0.1
 Cabal-Version:       >= 1.2
 Synopsis:            least upper bounds -- information merging
 Category:            Concurrency, Data, Other
diff --git a/src/Data/Lub.hs b/src/Data/Lub.hs
--- a/src/Data/Lub.hs
+++ b/src/Data/Lub.hs
@@ -21,6 +21,8 @@
   , parCommute, por, pand, ptimes
   ) where
 
+import Control.Applicative (liftA2)
+
 import Data.Unamb
 
 import Data.Repr
@@ -84,6 +86,10 @@
     where
       ~(a ,b ) = p
       ~(a',b') = p'
+
+instance HasLub b => HasLub (a -> b) where
+  lub = liftA2 lub
+
 
 instance (HasLub a, HasLub b) => HasLub (Either a b) where
   u `lub` v = if isL u `unamb` isL v then
diff --git a/wikipage.tw b/wikipage.tw
--- a/wikipage.tw
+++ b/wikipage.tw
@@ -13,3 +13,5 @@
 <!-- * See the [[lub/Versions| version history]]. -->
 
 Please leave comments at the [[Talk:lub|Talk page]].
+
+I got inspired for this package after [http://tunes.org/~nef/logs/haskell/08.11.17 stimulating discussions] with Thomas Davie, Russell O'Connor others in the #haskell gang.