# MIT License, Copyright (c) 2024 Marvin Borner # this is just a reference to the Church implementation :input std/List/Church