Mix "./TH01.hs" 2024-04-23 03:53:45.147022169 UTC 899367073 8 [(11:11-11:37,ExpBox False),(11:1-11:37,TopLevelBox ["barDecl"]),(8:11-8:37,ExpBox False),(8:1-8:37,TopLevelBox ["fooDecl"])]