Comentando el funtor del subtipado del tipo flecha.