haskell - morfismo - ¿Qué es la definición de Funcator aplicativo de la teoría de categorías POV?