-$mop{-rIV,x-} =
- _/\_ a{-sMJ-} -> \ d.Foo_sMg ::
- {Foo{-r3j,x-} a{-sMJ-}}
- {-# L #-}
- d.Foo_sMg ->
- GHCerr.noDefaultMethodError{-8k,p-}
- _@_ (PrelBase.Int{-3g,p-} -> a{-sMJ-} -> PrelBase.Bool{-34,p-})
- nrlit_sMU
-op{-r3z,x-} ::
- _forall_
- [a{-r3w-}]
- =>
- {Foo{-r3j,x-} a{-r3w-}}
- -> PrelBase.Int{-3g,p-}
- -> a{-r3w-}
- -> PrelBase.Bool{-34,p-}
-_A>_ 1 {-# L #-}
-op{-r3z,x-} =
- _/\_ a{-sMK-} -> \ tpl_sMf ::
- {Foo{-r3j,x-} a{-sMK-}}
- {-# L #-}
- tpl_sMf ->
- tpl_sMf
-MkWibble{-r3x,x-}{i} ::
- _forall_
- [a{-r3s-} b{-r3t-} c{-r3u-}]
- =>
- a{-r3s-}
- -> b{-r3t-}
- -> c{-r3u-}
- -> Wibble{-r3y,x-} a{-r3s-} b{-r3t-} c{-r3u-}
-_A>_ 3 {-# L #-}
-MkWibble{-r3x,x-}{i} =
- _/\_ a{-sMO-} b{-sMP-} c{-sMQ-} -> \ tpl_sML ::
- a{-sMO-}