Prog "Time" ["Prelude"] [Type ((Nothing,Nothing,"Time","ClockTime")) Public [] [Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","ClockTime") [])),"Time","CTime")) 1 Private [TCons ((Nothing,Nothing,"Prelude","Int")) []]],Type ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) Public [] [Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) 7 Public [TCons ((Nothing,Nothing,"Prelude","Int")) [],TCons ((Nothing,Nothing,"Prelude","Int")) [],TCons ((Nothing,Nothing,"Prelude","Int")) [],TCons ((Nothing,Nothing,"Prelude","Int")) [],TCons ((Nothing,Nothing,"Prelude","Int")) [],TCons ((Nothing,Nothing,"Prelude","Int")) [],TCons ((Nothing,Nothing,"Prelude","Int")) []]]] [Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","ctYear")) 1 Public (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","Int")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),2)))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","ctMonth")) 1 Public (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","Int")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),3)))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","ctDay")) 1 Public (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","Int")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),4)))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","ctHour")) 1 Public (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","Int")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),5)))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","ctMin")) 1 Public (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","Int")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),6)))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","ctSec")) 1 Public (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","Int")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),7)))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","ctTZ")) 1 Public (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","Int")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)))])),Func ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Time","ClockTime") []]),"Time","getClockTime")) 0 Public (TCons ((Nothing,Nothing,"Prelude","IO")) [TCons ((Nothing,Nothing,"Time","ClockTime")) []]) (External "Time.getClockTime"),Func ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Time","CalendarTime") []]),"Time","getLocalTime")) 0 Public (TCons ((Nothing,Nothing,"Prelude","IO")) [TCons ((Nothing,Nothing,"Time","CalendarTime")) []]) (Rule [] (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Time","ClockTime") []]) (FuncType (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Time","CalendarTime") []])) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Time","CalendarTime") []]))),"Prelude",">>=")) [Comb FuncCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Time","ClockTime") []]),"Time","getClockTime")) [],Comb (FuncPartCall 1) ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Time","CalendarTime") []])),"Time","getLocalTime._#lambda2")) []])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Time","CalendarTime") []])),"Time","getLocalTime._#lambda2")) 1 Private (FuncType (TCons ((Nothing,Nothing,"Time","ClockTime")) []) (TCons ((Nothing,Nothing,"Prelude","IO")) [TCons ((Nothing,Nothing,"Time","CalendarTime")) []])) (Rule [(Just (TCons (Nothing,Nothing,"Time","ClockTime") []),1)] (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Time","CalendarTime") []])),"Time","toCalendarTime")) [Var ((Just (TCons (Nothing,Nothing,"Time","ClockTime") []),1))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","clockTimeToInt")) 1 Public (FuncType (TCons ((Nothing,Nothing,"Time","ClockTime")) []) (TCons ((Nothing,Nothing,"Prelude","Int")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","ClockTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","ClockTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","ClockTime") [])),"Time","CTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2)]) (Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),2)))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Time","CalendarTime") []])),"Time","toCalendarTime")) 1 Public (FuncType (TCons ((Nothing,Nothing,"Time","ClockTime")) []) (TCons ((Nothing,Nothing,"Prelude","IO")) [TCons ((Nothing,Nothing,"Time","CalendarTime")) []])) (Rule [(Just (TCons (Nothing,Nothing,"Time","ClockTime") []),1)] (Comb FuncCall ((Nothing,Just (FuncType (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Time","CalendarTime") []])) (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Time","CalendarTime") []]))),"Prelude","$##")) [Comb (FuncPartCall 1) ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Time","CalendarTime") []])),"Time","prim_toCalendarTime")) [],Var ((Just (TCons (Nothing,Nothing,"Time","ClockTime") []),1))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Time","CalendarTime") []])),"Time","prim_toCalendarTime")) 1 Private (FuncType (TCons ((Nothing,Nothing,"Time","ClockTime")) []) (TCons ((Nothing,Nothing,"Prelude","IO")) [TCons ((Nothing,Nothing,"Time","CalendarTime")) []])) (External "Time.prim_toCalendarTime"),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])),"Time","toUTCTime")) 1 Public (FuncType (TCons ((Nothing,Nothing,"Time","ClockTime")) []) (TCons ((Nothing,Nothing,"Time","CalendarTime")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","ClockTime") []),1)] (Comb FuncCall ((Nothing,Just (FuncType (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])) (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Time","CalendarTime") []))),"Prelude","$##")) [Comb (FuncPartCall 1) ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])),"Time","prim_toUTCTime")) [],Var ((Just (TCons (Nothing,Nothing,"Time","ClockTime") []),1))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])),"Time","prim_toUTCTime")) 1 Private (FuncType (TCons ((Nothing,Nothing,"Time","ClockTime")) []) (TCons ((Nothing,Nothing,"Time","CalendarTime")) [])) (External "Time.prim_toUTCTime"),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Time","ClockTime") [])),"Time","toClockTime")) 1 Public (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Time","ClockTime")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Comb FuncCall ((Nothing,Just (FuncType (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Time","ClockTime") [])) (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Time","ClockTime") []))),"Prelude","$##")) [Comb (FuncPartCall 1) ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Time","ClockTime") [])),"Time","prim_toClockTime")) [],Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Time","ClockTime") [])),"Time","prim_toClockTime")) 1 Private (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Time","ClockTime")) [])) (External "Time.prim_toClockTime"),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []])),"Time","calendarTimeToString")) 1 Public (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Let [((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]),9),Comb ConsCall ((Nothing,Just (FuncType (TVar 84) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 84]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 84]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 27) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 27]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 27]))),"Prelude",":")) [Lit (Charc  'J'),Comb ConsCall ((Nothing,Just (FuncType (TVar 26) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 26]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 26]))),"Prelude",":")) [Lit (Charc  'a'),Comb ConsCall ((Nothing,Just (FuncType (TVar 25) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 25]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 25]))),"Prelude",":")) [Lit (Charc  'n'),Comb ConsCall ((Nothing,Just (TVar 24),"Prelude","[]")) []]]],Comb ConsCall ((Nothing,Just (FuncType (TVar 83) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 83]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 83]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 31) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 31]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 31]))),"Prelude",":")) [Lit (Charc  'F'),Comb ConsCall ((Nothing,Just (FuncType (TVar 30) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 30]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 30]))),"Prelude",":")) [Lit (Charc  'e'),Comb ConsCall ((Nothing,Just (FuncType (TVar 29) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 29]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 29]))),"Prelude",":")) [Lit (Charc  'b'),Comb ConsCall ((Nothing,Just (TVar 28),"Prelude","[]")) []]]],Comb ConsCall ((Nothing,Just (FuncType (TVar 82) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 82]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 82]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 35) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 35]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 35]))),"Prelude",":")) [Lit (Charc  'M'),Comb ConsCall ((Nothing,Just (FuncType (TVar 34) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 34]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 34]))),"Prelude",":")) [Lit (Charc  'a'),Comb ConsCall ((Nothing,Just (FuncType (TVar 33) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 33]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 33]))),"Prelude",":")) [Lit (Charc  'r'),Comb ConsCall ((Nothing,Just (TVar 32),"Prelude","[]")) []]]],Comb ConsCall ((Nothing,Just (FuncType (TVar 81) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 81]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 81]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 39) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 39]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 39]))),"Prelude",":")) [Lit (Charc  'A'),Comb ConsCall ((Nothing,Just (FuncType (TVar 38) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 38]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 38]))),"Prelude",":")) [Lit (Charc  'p'),Comb ConsCall ((Nothing,Just (FuncType (TVar 37) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 37]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 37]))),"Prelude",":")) [Lit (Charc  'r'),Comb ConsCall ((Nothing,Just (TVar 36),"Prelude","[]")) []]]],Comb ConsCall ((Nothing,Just (FuncType (TVar 80) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 80]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 80]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 43) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 43]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 43]))),"Prelude",":")) [Lit (Charc  'M'),Comb ConsCall ((Nothing,Just (FuncType (TVar 42) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 42]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 42]))),"Prelude",":")) [Lit (Charc  'a'),Comb ConsCall ((Nothing,Just (FuncType (TVar 41) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 41]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 41]))),"Prelude",":")) [Lit (Charc  'y'),Comb ConsCall ((Nothing,Just (TVar 40),"Prelude","[]")) []]]],Comb ConsCall ((Nothing,Just (FuncType (TVar 79) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 79]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 79]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 47) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 47]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 47]))),"Prelude",":")) [Lit (Charc  'J'),Comb ConsCall ((Nothing,Just (FuncType (TVar 46) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 46]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 46]))),"Prelude",":")) [Lit (Charc  'u'),Comb ConsCall ((Nothing,Just (FuncType (TVar 45) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 45]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 45]))),"Prelude",":")) [Lit (Charc  'n'),Comb ConsCall ((Nothing,Just (TVar 44),"Prelude","[]")) []]]],Comb ConsCall ((Nothing,Just (FuncType (TVar 78) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 78]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 78]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 51) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 51]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 51]))),"Prelude",":")) [Lit (Charc  'J'),Comb ConsCall ((Nothing,Just (FuncType (TVar 50) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 50]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 50]))),"Prelude",":")) [Lit (Charc  'u'),Comb ConsCall ((Nothing,Just (FuncType (TVar 49) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 49]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 49]))),"Prelude",":")) [Lit (Charc  'l'),Comb ConsCall ((Nothing,Just (TVar 48),"Prelude","[]")) []]]],Comb ConsCall ((Nothing,Just (FuncType (TVar 77) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 77]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 77]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 55) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 55]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 55]))),"Prelude",":")) [Lit (Charc  'A'),Comb ConsCall ((Nothing,Just (FuncType (TVar 54) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 54]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 54]))),"Prelude",":")) [Lit (Charc  'u'),Comb ConsCall ((Nothing,Just (FuncType (TVar 53) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 53]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 53]))),"Prelude",":")) [Lit (Charc  'g'),Comb ConsCall ((Nothing,Just (TVar 52),"Prelude","[]")) []]]],Comb ConsCall ((Nothing,Just (FuncType (TVar 76) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 76]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 76]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 59) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 59]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 59]))),"Prelude",":")) [Lit (Charc  'S'),Comb ConsCall ((Nothing,Just (FuncType (TVar 58) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 58]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 58]))),"Prelude",":")) [Lit (Charc  'e'),Comb ConsCall ((Nothing,Just (FuncType (TVar 57) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 57]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 57]))),"Prelude",":")) [Lit (Charc  'p'),Comb ConsCall ((Nothing,Just (TVar 56),"Prelude","[]")) []]]],Comb ConsCall ((Nothing,Just (FuncType (TVar 75) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 75]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 75]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 63) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 63]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 63]))),"Prelude",":")) [Lit (Charc  'O'),Comb ConsCall ((Nothing,Just (FuncType (TVar 62) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 62]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 62]))),"Prelude",":")) [Lit (Charc  'c'),Comb ConsCall ((Nothing,Just (FuncType (TVar 61) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 61]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 61]))),"Prelude",":")) [Lit (Charc  't'),Comb ConsCall ((Nothing,Just (TVar 60),"Prelude","[]")) []]]],Comb ConsCall ((Nothing,Just (FuncType (TVar 74) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 74]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 74]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 67) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 67]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 67]))),"Prelude",":")) [Lit (Charc  'N'),Comb ConsCall ((Nothing,Just (FuncType (TVar 66) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 66]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 66]))),"Prelude",":")) [Lit (Charc  'o'),Comb ConsCall ((Nothing,Just (FuncType (TVar 65) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 65]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 65]))),"Prelude",":")) [Lit (Charc  'v'),Comb ConsCall ((Nothing,Just (TVar 64),"Prelude","[]")) []]]],Comb ConsCall ((Nothing,Just (FuncType (TVar 73) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 73]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 73]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 71) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 71]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 71]))),"Prelude",":")) [Lit (Charc  'D'),Comb ConsCall ((Nothing,Just (FuncType (TVar 70) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 70]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 70]))),"Prelude",":")) [Lit (Charc  'e'),Comb ConsCall ((Nothing,Just (FuncType (TVar 69) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 69]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 69]))),"Prelude",":")) [Lit (Charc  'c'),Comb ConsCall ((Nothing,Just (TVar 68),"Prelude","[]")) []]]],Comb ConsCall ((Nothing,Just (TVar 72),"Prelude","[]")) []]]]]]]]]]]]])] (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude","++")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude","!!")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]),9)),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","-")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),3)),Lit (Intc  1)]],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude","++")) [Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  ' '),Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),"Prelude","[]")) []],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude","++")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []])),"Prelude","show")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),4))],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude","++")) [Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  ' '),Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),"Prelude","[]")) []],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude","++")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []])),"Time","toTimeString")) [Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude","++")) [Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  ' '),Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),"Prelude","[]")) []],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []])),"Prelude","show")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),2))]]]]]]]))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []])),"Time","toDayString")) 1 Public (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Let [((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]),9),Comb ConsCall ((Nothing,Just (FuncType (TVar 121) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 121]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 121]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 30) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 30]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 30]))),"Prelude",":")) [Lit (Charc  'J'),Comb ConsCall ((Nothing,Just (FuncType (TVar 29) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 29]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 29]))),"Prelude",":")) [Lit (Charc  'a'),Comb ConsCall ((Nothing,Just (FuncType (TVar 28) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 28]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 28]))),"Prelude",":")) [Lit (Charc  'n'),Comb ConsCall ((Nothing,Just (FuncType (TVar 27) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 27]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 27]))),"Prelude",":")) [Lit (Charc  'u'),Comb ConsCall ((Nothing,Just (FuncType (TVar 26) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 26]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 26]))),"Prelude",":")) [Lit (Charc  'a'),Comb ConsCall ((Nothing,Just (FuncType (TVar 25) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 25]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 25]))),"Prelude",":")) [Lit (Charc  'r'),Comb ConsCall ((Nothing,Just (FuncType (TVar 24) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 24]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 24]))),"Prelude",":")) [Lit (Charc  'y'),Comb ConsCall ((Nothing,Just (TVar 23),"Prelude","[]")) []]]]]]]],Comb ConsCall ((Nothing,Just (FuncType (TVar 120) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 120]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 120]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 39) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 39]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 39]))),"Prelude",":")) [Lit (Charc  'F'),Comb ConsCall ((Nothing,Just (FuncType (TVar 38) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 38]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 38]))),"Prelude",":")) [Lit (Charc  'e'),Comb ConsCall ((Nothing,Just (FuncType (TVar 37) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 37]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 37]))),"Prelude",":")) [Lit (Charc  'b'),Comb ConsCall ((Nothing,Just (FuncType (TVar 36) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 36]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 36]))),"Prelude",":")) [Lit (Charc  'r'),Comb ConsCall ((Nothing,Just (FuncType (TVar 35) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 35]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 35]))),"Prelude",":")) [Lit (Charc  'u'),Comb ConsCall ((Nothing,Just (FuncType (TVar 34) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 34]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 34]))),"Prelude",":")) [Lit (Charc  'a'),Comb ConsCall ((Nothing,Just (FuncType (TVar 33) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 33]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 33]))),"Prelude",":")) [Lit (Charc  'r'),Comb ConsCall ((Nothing,Just (FuncType (TVar 32) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 32]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 32]))),"Prelude",":")) [Lit (Charc  'y'),Comb ConsCall ((Nothing,Just (TVar 31),"Prelude","[]")) []]]]]]]]],Comb ConsCall ((Nothing,Just (FuncType (TVar 119) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 119]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 119]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 45) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 45]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 45]))),"Prelude",":")) [Lit (Charc  'M'),Comb ConsCall ((Nothing,Just (FuncType (TVar 44) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 44]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 44]))),"Prelude",":")) [Lit (Charc  'a'),Comb ConsCall ((Nothing,Just (FuncType (TVar 43) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 43]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 43]))),"Prelude",":")) [Lit (Charc  'r'),Comb ConsCall ((Nothing,Just (FuncType (TVar 42) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 42]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 42]))),"Prelude",":")) [Lit (Charc  'c'),Comb ConsCall ((Nothing,Just (FuncType (TVar 41) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 41]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 41]))),"Prelude",":")) [Lit (Charc  'h'),Comb ConsCall ((Nothing,Just (TVar 40),"Prelude","[]")) []]]]]],Comb ConsCall ((Nothing,Just (FuncType (TVar 118) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 118]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 118]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 51) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 51]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 51]))),"Prelude",":")) [Lit (Charc  'A'),Comb ConsCall ((Nothing,Just (FuncType (TVar 50) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 50]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 50]))),"Prelude",":")) [Lit (Charc  'p'),Comb ConsCall ((Nothing,Just (FuncType (TVar 49) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 49]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 49]))),"Prelude",":")) [Lit (Charc  'r'),Comb ConsCall ((Nothing,Just (FuncType (TVar 48) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 48]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 48]))),"Prelude",":")) [Lit (Charc  'i'),Comb ConsCall ((Nothing,Just (FuncType (TVar 47) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 47]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 47]))),"Prelude",":")) [Lit (Charc  'l'),Comb ConsCall ((Nothing,Just (TVar 46),"Prelude","[]")) []]]]]],Comb ConsCall ((Nothing,Just (FuncType (TVar 117) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 117]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 117]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 55) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 55]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 55]))),"Prelude",":")) [Lit (Charc  'M'),Comb ConsCall ((Nothing,Just (FuncType (TVar 54) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 54]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 54]))),"Prelude",":")) [Lit (Charc  'a'),Comb ConsCall ((Nothing,Just (FuncType (TVar 53) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 53]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 53]))),"Prelude",":")) [Lit (Charc  'y'),Comb ConsCall ((Nothing,Just (TVar 52),"Prelude","[]")) []]]],Comb ConsCall ((Nothing,Just (FuncType (TVar 116) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 116]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 116]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 60) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 60]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 60]))),"Prelude",":")) [Lit (Charc  'J'),Comb ConsCall ((Nothing,Just (FuncType (TVar 59) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 59]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 59]))),"Prelude",":")) [Lit (Charc  'u'),Comb ConsCall ((Nothing,Just (FuncType (TVar 58) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 58]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 58]))),"Prelude",":")) [Lit (Charc  'n'),Comb ConsCall ((Nothing,Just (FuncType (TVar 57) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 57]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 57]))),"Prelude",":")) [Lit (Charc  'e'),Comb ConsCall ((Nothing,Just (TVar 56),"Prelude","[]")) []]]]],Comb ConsCall ((Nothing,Just (FuncType (TVar 115) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 115]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 115]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 65) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 65]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 65]))),"Prelude",":")) [Lit (Charc  'J'),Comb ConsCall ((Nothing,Just (FuncType (TVar 64) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 64]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 64]))),"Prelude",":")) [Lit (Charc  'u'),Comb ConsCall ((Nothing,Just (FuncType (TVar 63) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 63]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 63]))),"Prelude",":")) [Lit (Charc  'l'),Comb ConsCall ((Nothing,Just (FuncType (TVar 62) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 62]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 62]))),"Prelude",":")) [Lit (Charc  'y'),Comb ConsCall ((Nothing,Just (TVar 61),"Prelude","[]")) []]]]],Comb ConsCall ((Nothing,Just (FuncType (TVar 114) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 114]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 114]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 72) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 72]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 72]))),"Prelude",":")) [Lit (Charc  'A'),Comb ConsCall ((Nothing,Just (FuncType (TVar 71) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 71]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 71]))),"Prelude",":")) [Lit (Charc  'u'),Comb ConsCall ((Nothing,Just (FuncType (TVar 70) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 70]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 70]))),"Prelude",":")) [Lit (Charc  'g'),Comb ConsCall ((Nothing,Just (FuncType (TVar 69) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 69]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 69]))),"Prelude",":")) [Lit (Charc  'u'),Comb ConsCall ((Nothing,Just (FuncType (TVar 68) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 68]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 68]))),"Prelude",":")) [Lit (Charc  's'),Comb ConsCall ((Nothing,Just (FuncType (TVar 67) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 67]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 67]))),"Prelude",":")) [Lit (Charc  't'),Comb ConsCall ((Nothing,Just (TVar 66),"Prelude","[]")) []]]]]]],Comb ConsCall ((Nothing,Just (FuncType (TVar 113) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 113]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 113]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 82) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 82]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 82]))),"Prelude",":")) [Lit (Charc  'S'),Comb ConsCall ((Nothing,Just (FuncType (TVar 81) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 81]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 81]))),"Prelude",":")) [Lit (Charc  'e'),Comb ConsCall ((Nothing,Just (FuncType (TVar 80) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 80]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 80]))),"Prelude",":")) [Lit (Charc  'p'),Comb ConsCall ((Nothing,Just (FuncType (TVar 79) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 79]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 79]))),"Prelude",":")) [Lit (Charc  't'),Comb ConsCall ((Nothing,Just (FuncType (TVar 78) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 78]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 78]))),"Prelude",":")) [Lit (Charc  'e'),Comb ConsCall ((Nothing,Just (FuncType (TVar 77) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 77]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 77]))),"Prelude",":")) [Lit (Charc  'm'),Comb ConsCall ((Nothing,Just (FuncType (TVar 76) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 76]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 76]))),"Prelude",":")) [Lit (Charc  'b'),Comb ConsCall ((Nothing,Just (FuncType (TVar 75) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 75]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 75]))),"Prelude",":")) [Lit (Charc  'e'),Comb ConsCall ((Nothing,Just (FuncType (TVar 74) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 74]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 74]))),"Prelude",":")) [Lit (Charc  'r'),Comb ConsCall ((Nothing,Just (TVar 73),"Prelude","[]")) []]]]]]]]]],Comb ConsCall ((Nothing,Just (FuncType (TVar 112) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 112]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 112]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 90) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 90]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 90]))),"Prelude",":")) [Lit (Charc  'O'),Comb ConsCall ((Nothing,Just (FuncType (TVar 89) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 89]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 89]))),"Prelude",":")) [Lit (Charc  'c'),Comb ConsCall ((Nothing,Just (FuncType (TVar 88) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 88]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 88]))),"Prelude",":")) [Lit (Charc  't'),Comb ConsCall ((Nothing,Just (FuncType (TVar 87) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 87]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 87]))),"Prelude",":")) [Lit (Charc  'o'),Comb ConsCall ((Nothing,Just (FuncType (TVar 86) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 86]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 86]))),"Prelude",":")) [Lit (Charc  'b'),Comb ConsCall ((Nothing,Just (FuncType (TVar 85) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 85]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 85]))),"Prelude",":")) [Lit (Charc  'e'),Comb ConsCall ((Nothing,Just (FuncType (TVar 84) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 84]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 84]))),"Prelude",":")) [Lit (Charc  'r'),Comb ConsCall ((Nothing,Just (TVar 83),"Prelude","[]")) []]]]]]]],Comb ConsCall ((Nothing,Just (FuncType (TVar 111) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 111]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 111]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 99) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 99]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 99]))),"Prelude",":")) [Lit (Charc  'N'),Comb ConsCall ((Nothing,Just (FuncType (TVar 98) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 98]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 98]))),"Prelude",":")) [Lit (Charc  'o'),Comb ConsCall ((Nothing,Just (FuncType (TVar 97) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 97]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 97]))),"Prelude",":")) [Lit (Charc  'v'),Comb ConsCall ((Nothing,Just (FuncType (TVar 96) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 96]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 96]))),"Prelude",":")) [Lit (Charc  'e'),Comb ConsCall ((Nothing,Just (FuncType (TVar 95) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 95]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 95]))),"Prelude",":")) [Lit (Charc  'm'),Comb ConsCall ((Nothing,Just (FuncType (TVar 94) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 94]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 94]))),"Prelude",":")) [Lit (Charc  'b'),Comb ConsCall ((Nothing,Just (FuncType (TVar 93) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 93]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 93]))),"Prelude",":")) [Lit (Charc  'e'),Comb ConsCall ((Nothing,Just (FuncType (TVar 92) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 92]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 92]))),"Prelude",":")) [Lit (Charc  'r'),Comb ConsCall ((Nothing,Just (TVar 91),"Prelude","[]")) []]]]]]]]],Comb ConsCall ((Nothing,Just (FuncType (TVar 110) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 110]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 110]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TVar 108) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 108]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 108]))),"Prelude",":")) [Lit (Charc  'D'),Comb ConsCall ((Nothing,Just (FuncType (TVar 107) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 107]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 107]))),"Prelude",":")) [Lit (Charc  'e'),Comb ConsCall ((Nothing,Just (FuncType (TVar 106) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 106]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 106]))),"Prelude",":")) [Lit (Charc  'c'),Comb ConsCall ((Nothing,Just (FuncType (TVar 105) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 105]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 105]))),"Prelude",":")) [Lit (Charc  'e'),Comb ConsCall ((Nothing,Just (FuncType (TVar 104) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 104]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 104]))),"Prelude",":")) [Lit (Charc  'm'),Comb ConsCall ((Nothing,Just (FuncType (TVar 103) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 103]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 103]))),"Prelude",":")) [Lit (Charc  'b'),Comb ConsCall ((Nothing,Just (FuncType (TVar 102) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 102]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 102]))),"Prelude",":")) [Lit (Charc  'e'),Comb ConsCall ((Nothing,Just (FuncType (TVar 101) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TVar 101]) (TCons (Nothing,Nothing,"Prelude","[]") [TVar 101]))),"Prelude",":")) [Lit (Charc  'r'),Comb ConsCall ((Nothing,Just (TVar 100),"Prelude","[]")) []]]]]]]]],Comb ConsCall ((Nothing,Just (TVar 109),"Prelude","[]")) []]]]]]]]]]]]])] (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude","++")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude","!!")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]),9)),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","-")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),3)),Lit (Intc  1)]],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude","++")) [Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  ' '),Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),"Prelude","[]")) []],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude","++")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []])),"Prelude","show")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),4))],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude","++")) [Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  ','),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  ' '),Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),"Prelude","[]")) []]],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []])),"Prelude","show")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),2))]]]]]))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []])),"Time","toTimeString")) 1 Public (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude","++")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []])),"Time","toTimeString.digit2.90")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),5))],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude","++")) [Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  ':'),Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),"Prelude","[]")) []],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude","++")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []])),"Time","toTimeString.digit2.90")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),6))],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude","++")) [Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  ':'),Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),"Prelude","[]")) []],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []])),"Time","toTimeString.digit2.90")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),7))]]]]])])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []])),"Time","toTimeString.digit2.90")) 1 Private (FuncType (TCons ((Nothing,Nothing,"Prelude","Int")) []) (TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []])) (Rule [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),1)] (Case  Rigid (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Bool") []))),"Prelude","<")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),1)),Lit (Intc  10)]) [Branch (Pattern ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","True")) []) (Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  '0'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Char") [])),"Prelude","chr")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","+")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Prelude","ord")) [Lit (Charc  '0')],Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),1))]],Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),"Prelude","[]")) []]]),Branch (Pattern ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","False")) []) (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []])),"Prelude","show")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),1))])])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Time","ClockTime") []))),"Time","addSeconds")) 2 Public (FuncType (TCons ((Nothing,Nothing,"Prelude","Int")) []) (FuncType (TCons ((Nothing,Nothing,"Time","ClockTime")) []) (TCons ((Nothing,Nothing,"Time","ClockTime")) []))) (Rule [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),1),(Just (TCons (Nothing,Nothing,"Time","ClockTime") []),2)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","ClockTime") []),2))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","ClockTime") [])),"Time","CTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3)]) (Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","ClockTime") [])),"Time","CTime")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","+")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),3)),Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),1))]])])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Time","ClockTime") []))),"Time","addMinutes")) 2 Public (FuncType (TCons ((Nothing,Nothing,"Prelude","Int")) []) (FuncType (TCons ((Nothing,Nothing,"Time","ClockTime")) []) (TCons ((Nothing,Nothing,"Time","ClockTime")) []))) (Rule [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),1),(Just (TCons (Nothing,Nothing,"Time","ClockTime") []),2)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","ClockTime") []),2))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","ClockTime") [])),"Time","CTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3)]) (Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","ClockTime") [])),"Time","CTime")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","+")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),3)),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","*")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),1)),Lit (Intc  60)]]])])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Time","ClockTime") []))),"Time","addHours")) 2 Public (FuncType (TCons ((Nothing,Nothing,"Prelude","Int")) []) (FuncType (TCons ((Nothing,Nothing,"Time","ClockTime")) []) (TCons ((Nothing,Nothing,"Time","ClockTime")) []))) (Rule [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),1),(Just (TCons (Nothing,Nothing,"Time","ClockTime") []),2)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","ClockTime") []),2))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","ClockTime") [])),"Time","CTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3)]) (Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","ClockTime") [])),"Time","CTime")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","+")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),3)),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","*")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),1)),Lit (Intc  3600)]]])])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Time","ClockTime") []))),"Time","addDays")) 2 Public (FuncType (TCons ((Nothing,Nothing,"Prelude","Int")) []) (FuncType (TCons ((Nothing,Nothing,"Time","ClockTime")) []) (TCons ((Nothing,Nothing,"Time","ClockTime")) []))) (Rule [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),1),(Just (TCons (Nothing,Nothing,"Time","ClockTime") []),2)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","ClockTime") []),2))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","ClockTime") [])),"Time","CTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3)]) (Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","ClockTime") [])),"Time","CTime")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","+")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),3)),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","*")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),1)),Lit (Intc  86400)]]])])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Time","ClockTime") []))),"Time","addMonths")) 2 Public (FuncType (TCons ((Nothing,Nothing,"Prelude","Int")) []) (FuncType (TCons ((Nothing,Nothing,"Time","ClockTime")) []) (TCons ((Nothing,Nothing,"Time","ClockTime")) []))) (Rule [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),1),(Just (TCons (Nothing,Nothing,"Time","ClockTime") []),2)] (Let [((Just (TVar 0),3),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])),"Time","toUTCTime")) [Var ((Just (TCons (Nothing,Nothing,"Time","ClockTime") []),2))])] (Let [((Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addMonths._#selFP3#y")) [Var ((Just (TVar 0),3))])] (Let [((Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addMonths._#selFP4#mo")) [Var ((Just (TVar 0),3))])] (Let [((Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addMonths._#selFP5#d")) [Var ((Just (TVar 0),3))])] (Let [((Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addMonths._#selFP6#h")) [Var ((Just (TVar 0),3))])] (Let [((Just (TCons (Nothing,Nothing,"Prelude","Int") []),8),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addMonths._#selFP7#mi")) [Var ((Just (TVar 0),3))])] (Let [((Just (TCons (Nothing,Nothing,"Prelude","Int") []),9),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addMonths._#selFP8#s")) [Var ((Just (TVar 0),3))])] (Let [((Just (TCons (Nothing,Nothing,"Prelude","Int") []),10),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addMonths._#selFP9#tz")) [Var ((Just (TVar 0),3))])] (Let [((Just (TCons (Nothing,Nothing,"Prelude","Int") []),11),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","+")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","mod")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","+")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","-")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),5)),Lit (Intc  1)],Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),1))],Lit (Intc  12)],Lit (Intc  1)])] (Case  Rigid (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Bool") []))),"Prelude",">")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),11)),Lit (Intc  0)]) [Branch (Pattern ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","True")) []) (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Time","ClockTime") []))),"Time","addYears")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","div")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","+")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","-")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),5)),Lit (Intc  1)],Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),1))],Lit (Intc  12)],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Time","ClockTime") [])),"Time","toClockTime")) [Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),4)),Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),11)),Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),6)),Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),7)),Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)),Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),9)),Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),10))]]]),Branch (Pattern ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","False")) []) (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Time","ClockTime") []))),"Time","addYears")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","-")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","div")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","+")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","-")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),5)),Lit (Intc  1)],Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),1))],Lit (Intc  12)],Lit (Intc  1)],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Time","ClockTime") [])),"Time","toClockTime")) [Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),4)),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","+")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),11)),Lit (Intc  12)],Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),6)),Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),7)),Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)),Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),9)),Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),10))]]])]))))))))))),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addMonths._#selFP3#y")) 1 Private (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","Int")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),2)))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addMonths._#selFP4#mo")) 1 Private (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","Int")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),3)))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addMonths._#selFP5#d")) 1 Private (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","Int")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),4)))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addMonths._#selFP6#h")) 1 Private (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","Int")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),5)))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addMonths._#selFP7#mi")) 1 Private (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","Int")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),6)))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addMonths._#selFP8#s")) 1 Private (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","Int")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),7)))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addMonths._#selFP9#tz")) 1 Private (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","Int")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Time","ClockTime") []))),"Time","addYears")) 2 Public (FuncType (TCons ((Nothing,Nothing,"Prelude","Int")) []) (FuncType (TCons ((Nothing,Nothing,"Time","ClockTime")) []) (TCons ((Nothing,Nothing,"Time","ClockTime")) []))) (Rule [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),1),(Just (TCons (Nothing,Nothing,"Time","ClockTime") []),2)] (Case  Rigid (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Bool") []))),"Prelude","==")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),1)),Lit (Intc  0)]) [Branch (Pattern ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","True")) []) (Var ((Just (TCons (Nothing,Nothing,"Time","ClockTime") []),2))),Branch (Pattern ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","False")) []) (Let [((Just (TVar 1),3),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])),"Time","toUTCTime")) [Var ((Just (TCons (Nothing,Nothing,"Time","ClockTime") []),2))])] (Let [((Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addYears._#selFP11#y")) [Var ((Just (TVar 1),3))])] (Let [((Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addYears._#selFP12#mo")) [Var ((Just (TVar 1),3))])] (Let [((Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addYears._#selFP13#d")) [Var ((Just (TVar 1),3))])] (Let [((Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addYears._#selFP14#h")) [Var ((Just (TVar 1),3))])] (Let [((Just (TCons (Nothing,Nothing,"Prelude","Int") []),8),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addYears._#selFP15#mi")) [Var ((Just (TVar 1),3))])] (Let [((Just (TCons (Nothing,Nothing,"Prelude","Int") []),9),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addYears._#selFP16#s")) [Var ((Just (TVar 1),3))])] (Let [((Just (TCons (Nothing,Nothing,"Prelude","Int") []),10),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addYears._#selFP17#tz")) [Var ((Just (TVar 1),3))])] (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Time","ClockTime") [])),"Time","toClockTime")) [Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","+")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),4)),Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),1))],Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),5)),Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),6)),Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),7)),Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)),Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),9)),Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),10))]])))))))))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addYears._#selFP11#y")) 1 Private (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","Int")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),2)))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addYears._#selFP12#mo")) 1 Private (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","Int")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),3)))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addYears._#selFP13#d")) 1 Private (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","Int")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),4)))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addYears._#selFP14#h")) 1 Private (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","Int")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),5)))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addYears._#selFP15#mi")) 1 Private (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","Int")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),6)))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addYears._#selFP16#s")) 1 Private (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","Int")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),7)))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Int") [])),"Time","addYears._#selFP17#tz")) 1 Private (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","Int")) [])) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","CalendarTime") [])))))))),"Time","CalendarTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),5),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),6),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),7),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)]) (Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),8)))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Time","daysOfMonth")) 2 Public (FuncType (TCons ((Nothing,Nothing,"Prelude","Int")) []) (FuncType (TCons ((Nothing,Nothing,"Prelude","Int")) []) (TCons ((Nothing,Nothing,"Prelude","Int")) []))) (Rule [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),1),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2)] (Case  Rigid (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Bool") []))),"Prelude","/=")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),1)),Lit (Intc  2)]) [Branch (Pattern ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","True")) []) (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","!!")) [Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]))),"Prelude",":")) [Lit (Intc  31),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]))),"Prelude",":")) [Lit (Intc  28),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]))),"Prelude",":")) [Lit (Intc  31),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]))),"Prelude",":")) [Lit (Intc  30),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]))),"Prelude",":")) [Lit (Intc  31),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]))),"Prelude",":")) [Lit (Intc  30),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]))),"Prelude",":")) [Lit (Intc  31),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]))),"Prelude",":")) [Lit (Intc  31),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]))),"Prelude",":")) [Lit (Intc  30),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]))),"Prelude",":")) [Lit (Intc  31),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]))),"Prelude",":")) [Lit (Intc  30),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]))),"Prelude",":")) [Lit (Intc  31),Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Int") []]),"Prelude","[]")) []]]]]]]]]]]]],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","-")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),1)),Lit (Intc  1)]]),Branch (Pattern ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","False")) []) (Case  Rigid (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Bool") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Bool") []) (TCons (Nothing,Nothing,"Prelude","Bool") []))),"Prelude","&&")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Bool") []))),"Prelude","==")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","mod")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),2)),Lit (Intc  4)],Lit (Intc  0)],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Bool") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Bool") []) (TCons (Nothing,Nothing,"Prelude","Bool") []))),"Prelude","||")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Bool") []))),"Prelude","/=")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","mod")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),2)),Lit (Intc  100)],Lit (Intc  0)],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Bool") []))),"Prelude","==")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Prelude","mod")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),2)),Lit (Intc  400)],Lit (Intc  0)]]]) [Branch (Pattern ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","True")) []) (Lit (Intc  29)),Branch (Pattern ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","False")) []) (Lit (Intc  28))])])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Bool") [])))),"Time","validDate")) 3 Public (FuncType (TCons ((Nothing,Nothing,"Prelude","Int")) []) (FuncType (TCons ((Nothing,Nothing,"Prelude","Int")) []) (FuncType (TCons ((Nothing,Nothing,"Prelude","Int")) []) (TCons ((Nothing,Nothing,"Prelude","Bool")) [])))) (Rule [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),1),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),2),(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3)] (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Bool") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Bool") []) (TCons (Nothing,Nothing,"Prelude","Bool") []))),"Prelude","&&")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Bool") []))),"Prelude",">")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),2)),Lit (Intc  0)],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Bool") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Bool") []) (TCons (Nothing,Nothing,"Prelude","Bool") []))),"Prelude","&&")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Bool") []))),"Prelude","<")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),2)),Lit (Intc  13)],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Bool") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Bool") []) (TCons (Nothing,Nothing,"Prelude","Bool") []))),"Prelude","&&")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Bool") []))),"Prelude",">")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),3)),Lit (Intc  0)],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Bool") []))),"Prelude","<=")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),3)),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Int") []))),"Time","daysOfMonth")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),2)),Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),1))]]]]])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Ordering") []))),"Time","compareDate")) 0 Public (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","Ordering")) []))) (Rule [] (Comb (FuncPartCall 2) ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Ordering") []))),"Time","compareCalendarTime")) [])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Prelude","Ordering") []))),"Time","compareCalendarTime")) 2 Public (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (FuncType (TCons ((Nothing,Nothing,"Time","CalendarTime")) []) (TCons ((Nothing,Nothing,"Prelude","Ordering")) []))) (Rule [(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1),(Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),2)] (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Prelude","Ordering") []))),"Time","compareClockTime")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Time","ClockTime") [])),"Time","toClockTime")) [Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),1))],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","CalendarTime") []) (TCons (Nothing,Nothing,"Time","ClockTime") [])),"Time","toClockTime")) [Var ((Just (TCons (Nothing,Nothing,"Time","CalendarTime") []),2))]])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (FuncType (TCons (Nothing,Nothing,"Time","ClockTime") []) (TCons (Nothing,Nothing,"Prelude","Ordering") []))),"Time","compareClockTime")) 2 Public (FuncType (TCons ((Nothing,Nothing,"Time","ClockTime")) []) (FuncType (TCons ((Nothing,Nothing,"Time","ClockTime")) []) (TCons ((Nothing,Nothing,"Prelude","Ordering")) []))) (Rule [(Just (TCons (Nothing,Nothing,"Time","ClockTime") []),1),(Just (TCons (Nothing,Nothing,"Time","ClockTime") []),2)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","ClockTime") []),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","ClockTime") [])),"Time","CTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),3)]) (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"Time","ClockTime") []),2))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Time","ClockTime") [])),"Time","CTime")) [(Just (TCons (Nothing,Nothing,"Prelude","Int") []),4)]) (Case  Rigid (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Bool") []))),"Prelude","<")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),3)),Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),4))]) [Branch (Pattern ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","True")) []) (Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Ordering") []),"Prelude","LT")) []),Branch (Pattern ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","False")) []) (Case  Rigid (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"Prelude","Bool") []))),"Prelude",">")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),3)),Var ((Just (TCons (Nothing,Nothing,"Prelude","Int") []),4))]) [Branch (Pattern ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","True")) []) (Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Ordering") []),"Prelude","GT")) []),Branch (Pattern ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","False")) []) (Case  Rigid (Comb FuncCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","otherwise")) []) [Branch (Pattern ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","True")) []) (Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Ordering") []),"Prelude","EQ")) []),Branch (Pattern ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","False")) []) (Comb FuncCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Ordering") []),"Prelude","failed")) [])])])])])]))] []