Roundtrip test failed AST 1: Module (SrcLoc "" -1 -1) (ModuleName "Main") [] Nothing (Just [EVar (UnQual (Ident "main"))]) [] [DataDecl (SrcLoc "" -1 -1) DataType [] (Ident "Q") [UnkindedVar (Ident "a")] [QualConDecl (SrcLoc "" -1 -1) [] [] (ConDecl (Ident "Q") [TyVar (Ident "a"),TyVar (Ident "a")])] [],FunBind [Match (SrcLoc "" -1 -1) (Symbol "*") [PVar (Ident "x"),PLit Negative (Int 1)] Nothing (UnGuardedRhs (App (Var (UnQual (Ident "negate"))) (Var (UnQual (Ident "x"))))) Nothing],FunBind [Match (SrcLoc "" -1 -1) (Symbol "<>") [PApp (UnQual (Ident "Just")) [PVar (Ident "x")],PApp (UnQual (Ident "Nothing")) []] Nothing (UnGuardedRhs (App (Con (UnQual (Ident "Just"))) (Var (UnQual (Ident "x"))))) Nothing],FunBind [Match (SrcLoc "" -1 -1) (Ident "f") [PParen (PInfixApp (PLit Negative (Int 1)) (UnQual (Ident "Q")) PWildCard)] Nothing (UnGuardedRhs (Con (Special UnitCon))) Nothing]] AST 2: Module (SrcLoc "" -1 -1) (ModuleName "Main") [] Nothing (Just [EVar (UnQual (Ident "main"))]) [] [DataDecl (SrcLoc "" -1 -1) DataType [] (Ident "Q") [UnkindedVar (Ident "a")] [QualConDecl (SrcLoc "" -1 -1) [] [] (ConDecl (Ident "Q") [TyVar (Ident "a"),TyVar (Ident "a")])] [],FunBind [Match (SrcLoc "" -1 -1) (Symbol "*") [PVar (Ident "x"),PParen (PLit Negative (Int 1))] Nothing (UnGuardedRhs (App (Var (UnQual (Ident "negate"))) (Var (UnQual (Ident "x"))))) Nothing],FunBind [Match (SrcLoc "" -1 -1) (Symbol "<>") [PApp (UnQual (Ident "Just")) [PVar (Ident "x")],PApp (UnQual (Ident "Nothing")) []] Nothing (UnGuardedRhs (App (Con (UnQual (Ident "Just"))) (Var (UnQual (Ident "x"))))) Nothing],FunBind [Match (SrcLoc "" -1 -1) (Ident "f") [PParen (PInfixApp (PLit Negative (Int 1)) (UnQual (Ident "Q")) PWildCard)] Nothing (UnGuardedRhs (Con (Special UnitCon))) Nothing]]