[plt-scheme] Typed Scheme: Is there any easy way around this?

From: Matthew Swank (akopa.gmane.poster at gmail.com)
Date: Wed May 30 22:28:50 EDT 2007

(pdefine: (a b) (mappend (fun : (a -> (Listof b))) (lst : (Listof a))) : (Listof b) 
     ;;Append the results of calling fn on each element of list.
    (apply append (map fun lst)))

--> typecheck: polymorphic functions not supported with apply 

"You do not really understand something unless you can
 explain it to your grandmother." - Albert Einstein.

Posted on the users mailing list.