as a fun related example try filling in “curry-howard-incomplete.hs” from here - https://github.com/andykitchen/curry-howard-iso - to solve the “no true scottsman” puzzle.