fanInToCoproduct

… TODO …