YCombinator Excercises from riddle book "To mock a Mockingbird" from Raymond Smullyan in Idris. This wonderful book explains Combinators as singing Birds.