[Haskell-cafe] distinguish functions from non-functions in a class/instances

[Brandon S. Allbery KF8NH]

On Dec 5, 2007, at 16:00 , Philipp N. wrote:

> the odd thing is. you can get this to work, if you have a  
> terminating type
> as result type (for example (IO x)). then you can work with all  
> types (IO
> x), (a -> IO x), (a -> b -> IO x), ...
>
> but i don't want this delimiter IO! any ideas?

Use ST instead?  (just tossing ideas in the wind...)

-- 
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university    KF8NH