source   prog   defn   TYP   1:1-1:3   typ   ID   1:5-1:5   t   EQUALS   1:7-1:7   =   type   LBRACKET   1:9-1:9   (   type   LBRACKET   1:10-1:10   (   type   LBRACKET   1:11-1:11   (   type   ID   1:12-1:13   id   RBRACKET   1:14-1:14   )   RBRACKET   1:15-1:15   )   RBRACKET   1:16-1:16   )   defn   TYP   2:1-2:3   typ   ID   2:5-2:6   t2   EQUALS   2:8-2:8   =   type   LBRACKET   2:10-2:10   (   ID   2:11-2:12   id   COLON   2:13-2:13   :   type   LBRACKET   2:15-2:15   (   type   INT   2:16-2:18   int   RBRACKET   2:19-2:19   )   RBRACKET   2:20-2:20   )   defn   TYP   3:1-3:3   typ   ID   3:5-3:6   t3   EQUALS   3:8-3:8   =   type   LBRACKET   3:10-3:10   (   type   LBRACKET   3:11-3:11   (   type   LBRACKET   3:12-3:12   (   type   LBRACKET   3:13-3:13   (   type   LCURLY   3:14-3:14   {   RCURLY   3:15-3:15   }   RBRACKET   3:16-3:16   )   RBRACKET   3:17-3:17   )   RBRACKET   3:18-3:18   )   RBRACKET   3:19-3:19   )   EOF