import Data.Func
from Data.List import intercalate, replicate, instance Functor []
from Text import class Text(concat), instance Text String
+import GenPrint
import yard
import lex
trans1 :: TokenValue a -> Parser Token a
trans1 t r = trans2 t $ const r
+derive gPrint TokenValue
satTok :: TokenValue -> Parser Token Token
-satTok t = satisfy ((===) t)
+satTok t = top >>= \tok=:(pos, tv) -> if (t === tok) (return tok) (fail <?> (printToString t, pos))
parseSepList :: TokenValue (Parser Token a) -> Parser Token [a]
parseSepList sep p =