enter program
SKKI
LazyK application
stdin
stdin
stdout
combinator expression
graph