Harold Carr haroldcarr

## cataM'
cataM' :: (Applicative m, Monad m, Traversable t)
       => (t a -> m a)
       -> ((Fix t -> m a) -> (Fix t -> m a))
       -> (Fix t -> m a)
cataM' f g = g ((f =<<) . traverse (cataM' f g) . unFix)

## keybase.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                haroldcarr
                / keybase.md
            
            
              Created
              January 7, 2015 17:57
            
          
    Keybase proof

I hereby claim:

I am haroldcarr on github.
I am haroldcarr (https://keybase.io/haroldcarr) on keybase.
I have a public key whose fingerprint is 661A 5D83 837E 9DC5 68F8  F0E3 3C01 0A22 D37D 3613

To claim this, I am signing this object:

  
## gist:a1c8b78b95650e76c8b3
Verifying that +haroldcarr is my openname (Bitcoin username). https://onename.io/haroldcarr
	cataM' :: (Applicative m, Monad m, Traversable t)
	=> (t a -> m a)
	-> ((Fix t -> m a) -> (Fix t -> m a))
	-> (Fix t -> m a)
	cataM' f g = g ((f =<<) . traverse (cataM' f g) . unFix)