author: Mark Dominus
content: 'A functor F takes each type T and maps it to a new type FT. A burrito is
  like a functor: it takes a type, like meat or beans, and turns it into a new type,
  like beef burrito or bean burrito.'
id: 63b66560-8b8a-4502-9197-25f0f18f65fd