    LitPat _ l ->  litToTokens l -- Aeson.object ["lit" .= l]
    IntervalPat _ x y -> error "paToToken IntervalPat TBD" -- Aeson.object ["interval" .= [x, y]]
    ConsPat _ x y -> error "paToToken ConsPat TBD" -- Aeson.object ["cons" .= [x, y]]
    ConPat _ x y -> error "paToToken ConPat TBD" -- Aeson.object ["con" .= [toJSON x, toJSON y]]
    ListPat _ xs -> error "paToToken ListPat TBD" -- Aeson.object ["list" .= xs]