Mix "ifd01.hs" 2024-04-25 08:12:05.340917168 UTC 1766259647 8 [(16:5-16:6,BinBox GuardBinBox True),(16:5-16:6,BinBox GuardBinBox False),(16:5-16:6,ExpBox False),(16:19-16:39,ExpBox False),(16:10-16:39,ExpBox True),(17:5-17:6,BinBox GuardBinBox True),(17:5-17:6,BinBox GuardBinBox False),(17:5-17:6,ExpBox False),(17:19-17:39,ExpBox False),(17:10-17:39,ExpBox True),(18:5-18:13,BinBox GuardBinBox True),(18:5-18:13,BinBox GuardBinBox False),(18:5-18:13,ExpBox False),(18:26-18:42,ExpBox False),(18:17-18:42,ExpBox True),(15:1-18:42,TopLevelBox ["post"]),(5:5-5:6,BinBox GuardBinBox True),(5:5-5:6,BinBox GuardBinBox False),(5:5-5:6,ExpBox False),(5:19-5:40,ExpBox False),(5:10-5:40,ExpBox True),(6:5-6:6,BinBox GuardBinBox True),(6:5-6:6,BinBox GuardBinBox False),(6:5-6:6,ExpBox False),(6:19-6:40,ExpBox False),(6:10-6:40,ExpBox True),(7:5-7:13,BinBox GuardBinBox True),(7:5-7:13,BinBox GuardBinBox False),(7:5-7:13,ExpBox False),(7:26-7:43,ExpBox False),(7:17-7:43,ExpBox True),(4:1-7:43,TopLevelBox ["pre"]),(22:3-22:5,ExpBox False),(22:11-22:14,ExpBox False),(22:16-22:20,ExpBox False),(22:9-22:20,ExpBox False),(22:3-22:20,ExpBox False),(23:3-23:7,ExpBox False),(23:13-23:16,ExpBox False),(23:18-23:22,ExpBox False),(23:11-23:22,ExpBox False),(23:3-23:22,ExpBox False),(24:3-24:6,ExpBox False),(24:12-24:16,ExpBox False),(24:18-24:21,ExpBox False),(24:10-24:21,ExpBox False),(24:3-24:21,ExpBox False),(21:8-24:21,ExpBox False),(21:1-24:21,TopLevelBox ["main"]),(10:5-10:10,ExpBox False),(10:5-10:10,TopLevelBox ["field1"]),(11:5-11:10,ExpBox False),(11:5-11:10,TopLevelBox ["field2"]),(12:15-12:18,TopLevelBox ["showsPrec"]),(12:15-12:18,TopLevelBox ["show"]),(12:15-12:18,TopLevelBox ["showList"])]