13.1 freeMonad
13.2 runTrampoline
13.3 run