2 ==================== Typechecked ====================
3 ExportOpaque.Junk11{-r3,l-} =
4 \ a{-ru2-} -> ExportOpaque.Junk11{-r3,l-} {__a a{-ru2-}}
5 ExportOpaque.Junk2{-r5,l-} =
6 \ a{-ru2-} -> ExportOpaque.Junk2{-r5,l-} {__a a{-ru2-}}
7 ExportOpaque.Con{-r9,l-} =
8 \ a{-ru6-} tpl_B1 -> ExportOpaque.Con{-r9,l-} {__a a{-ru6-} tpl_B1}
13 ExportOpaque._fShowOpaqueType{-rXt,x-},
16 PrelBase._mshow{-rJ7,i-} (ExportOpaque.OpaqueType{-r7,x-} a{-aY7-})
18 showsPrec{-aZs-} = showsPrec{-aY0-}
20 PrelBase.showsPrec{-rt1,i-}
21 (ExportOpaque.FunnyInternalType{-r1,l-} a{-aY7-})
23 _dShow{-aYs-} = _dShow{-aXB-}
25 ExportOpaque._fShowFunnyInternalType{-rXl,x-} a{-aY7-} _dOrd{-aYx-}
26 _dOrd{-aYx-} = _dOrd{-aYo-}
27 AbsBinds [] [] [([], showList{-aXD-}, showList{-aXF-})]
28 showList{-aXF-} = PrelBase.showList__{-ru7,i-}
29 (ExportOpaque.OpaqueType{-r7,x-} a{-aY7-}) showsPrec{-aZs-} PrelBase.I#{-67,w-} 0#
30 AbsBinds [] [] [([], show{-aXP-}, show{-aXR-})]
31 show{-aXR-} = _mshow{-aZt-}
32 AbsBinds [] [] [([], showsPrec{-aY0-}, showsPrec{-aY2-})]
33 showsPrec{-aY2-} a{-aY8-} (ExportOpaque.Con{-r9,l-} b1{-aYl-})
34 = PrelBase.showParen{-rtv,i-} a{-aY8-} >={-aZv-} lit_aZw
36 [PrelBase.String{-rsZ,i-}, PrelBase.String{-rsZ,i-}, PrelBase.String{-rsZ,i-}] PrelBase.showString{-rtu,i-} "Con "
37 showsPrec{-aZu-} PrelBase.I#{-67,w-} 10#
40 PrelBase._DShow{-rIw,i-}
41 (ExportOpaque.OpaqueType{-r7,x-} a{-aY7-}) showList{-aXD-}
48 ExportOpaque._fShowFunnyInternalType{-rXl,x-},
51 PrelBase._mshow{-rJ7,i-}
52 (ExportOpaque.FunnyInternalType{-r1,l-} a{-aYP-})
55 PrelBase._mshowList{-rJ6,i-}
56 (ExportOpaque.FunnyInternalType{-r1,l-} a{-aYP-})
59 PrelBase._mshowsPrec{-rJ5,i-}
60 (ExportOpaque.FunnyInternalType{-r1,l-} a{-aYP-})
62 _dShow{-aZi-} = _dShow{-aYG-}
63 _dShow{-aZk-} = _dShow{-aYG-}
64 _dShow{-aZm-} = _dShow{-aYG-}
65 AbsBinds [] [] [([], showList{-aYI-}, showList{-aYK-})]
66 showList{-aYK-} = _mshowList{-aZy-}
67 AbsBinds [] [] [([], show{-aYU-}, show{-aYW-})]
68 show{-aYW-} = _mshow{-aZx-}
69 AbsBinds [] [] [([], showsPrec{-aZ5-}, showsPrec{-aZ7-})]
70 showsPrec{-aZ7-} = _mshowsPrec{-aZz-}
72 PrelBase._DShow{-rIw,i-}
73 (ExportOpaque.FunnyInternalType{-r1,l-} a{-aYP-}) showList{-aYI-}
76 lit_aZw = PrelBase.I#{-67,w-} 10#
77 >={-aZv-} = PrelBase.>={-01M,i-} PrelBase.Int{-3f,W-} _dOrd{-aZr-}
78 _dOrd{-aZr-} = PrelBase._fOrdInt{-rJw,i-}
81 ghc: module version changed to 1; reason: no old .hi file
82 __export ExportOpaque OpaqueType;
83 instance __forall [a] {PrelBase.Ord a} => {PrelBase.Show (FunnyInternalType a)} = _fShowFunnyInternalType;
84 instance __forall [a] {PrelBase.Ord a} => {PrelBase.Show (OpaqueType a)} = _fShowOpaqueType;
85 1 _fShowFunnyInternalType :: __forall [a] {PrelBase.Ord a} => {PrelBase.Show (FunnyInternalType a)} ;
86 1 _fShowOpaqueType :: __forall [a] {PrelBase.Ord a} => {PrelBase.Show (OpaqueType a)} ;
87 1 data FunnyInternalType a = Junk11 | Junk2 ;
88 1 data OpaqueType a = Con (FunnyInternalType a) ;