I'd say, check what any primitive 'proves' before using it. Besides that, calling other functions is ok.
Except for general recursion. coerce :: a -> b coerce = coerce
-- Lennart
_______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell