Hello z_axis, Tuesday, May 5, 2009, 1:27:16 PM, you wrote:
> floatLocation :: Window -> X (ScreenId, W.RationalRect) > > rr <- snd `fmap` floatLocation w > > class Functor f where fmap :: (a -> b) -> f a -> f b looks ok. X===f, fmap executes floatLocation w :: X (ScreenId, W.RationalRect) === f a and then applies snd :: (ScreenId, W.RationalRect) -> W.RationalRect === a->b to result, so that entire (snd `fmap` floatLocation w) has type X W.RationalRect === f b -- Best regards, Bulat mailto:bulat.zigans...@gmail.com _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe