james pentland wrote: >what coercion can i use to get the below program to compile? ... various combinations of fromInteger, toInteger do not help. > > Did you try fromIntegral? fromIntegral :: (Integral a, Num b) => a -> b >fnK_ :: Int -> Int >fnK_ x = round (sqrt x) -- line 2 > > -- Thomas H