WIP
Breaking out Strafunski example to gain understanding against GHC AST