[Haskell-cafe] (no subject)

Ian Childs ian.childs at hertford.ox.ac.uk
Wed Jul 6 11:12:32 CEST 2011


Suppose I have two terms s and t of type "a" and "b" respectively,  
and I want to write a function that returns s applied to t if "a" is  
an arrow type of form "b -> c", and nothing otherwise. How do i  
convince the compiler to accept the functional application only in  
the correct instance?

Thanks,
Ian



More information about the Haskell-Cafe mailing list