SHARE
TWEET

Untitled

a guest Dec 17th, 2018 77 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. ComposeFunctor {{A}} {{B}} {{C}} F G {{FunctorF}} {{FunctorG}} = record {
  2.      map = λ f -> map {{B}} {{C}} {{FunctorF}} (map {{A}} {{B}} {{FunctorG}} f)
  3.   }
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top