source   prog   defn   FUN   1:1-1:3   fun   ID   1:5-1:5   f   LBRACKET   1:6-1:6   (   RBRACKET   1:7-1:7   )   COLON   1:9-1:9   :   type   LCURLY   1:11-1:11   {   RCURLY   1:12-1:12   }   EQUALS   1:14-1:14   =   expr   HAT   2:5-2:5   ^   expr   expr   ID   2:6-2:6   a   HAT   2:7-2:7   ^   EOF