[Haskell-cafe] (no subject)

[Ian Childs]

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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe