gistfile1.txt

Prelude> :t  fmap fmap fmap fmap fmap fmap fmap fmap fmap fmap fmap
fmap fmap fmap fmap fmap fmap fmap fmap fmap fmap fmap
  :: (Functor
        ((->)
           (((f (a -> b) -> f (f2 a -> f2 b))
             -> f (a -> b)
             -> f (f1 (f2 a) -> f1 (f2 b)))
            -> (((a -> b) -> f2 a -> f2 b) -> f (a -> b) -> f (f2 a -> f2 b))
            -> ((a -> b) -> f2 a -> f2 b)
            -> f (a -> b)
            -> f (f1 (f2 a) -> f1 (f2 b)))),
      Functor ((->) ((f2 a -> f2 b) -> f1 (f2 a) -> f1 (f2 b))),
      Functor ((->) ((a -> b) -> f2 a -> f2 b)),
      Functor f1,
      Functor f2,
      Functor f,
      Functor ((->) (f (a -> b))),
      Functor ((->) (f (f2 a -> f2 b) -> f (f1 (f2 a) -> f1 (f2 b)))),
      Functor
        ((->)
           ((f (f2 a -> f2 b) -> f (f1 (f2 a) -> f1 (f2 b)))
            -> (f (a -> b) -> f (f2 a -> f2 b))
            -> f (a -> b)
            -> f (f1 (f2 a) -> f1 (f2 b)))),
      Functor
        ((->)
           (((f (f2 a -> f2 b) -> f (f1 (f2 a) -> f1 (f2 b)))
             -> (((a -> b) -> f2 a -> f2 b) -> f (a -> b) -> f (f2 a -> f2 b))
             -> ((a -> b) -> f2 a -> f2 b)
             -> f (a -> b)
             -> f (f1 (f2 a) -> f1 (f2 b)))
            -> (((f2 a -> f2 b) -> f1 (f2 a) -> f1 (f2 b))
                -> f (f2 a -> f2 b)
                -> f (f1 (f2 a) -> f1 (f2 b)))
            -> ((f2 a -> f2 b) -> f1 (f2 a) -> f1 (f2 b))
            -> (((a -> b) -> f2 a -> f2 b) -> f (a -> b) -> f (f2 a -> f2 b))
            -> ((a -> b) -> f2 a -> f2 b)
            -> f (a -> b)
            -> f (f1 (f2 a) -> f1 (f2 b))))) =>
     f (a -> b) -> f (f1 (f2 a) -> f1 (f2 b))