1 ==================== Typechecked ====================
2 AbsBinds [tarc] [] [([tarc], f{-r1,x-}, f_ar1)]
3 f_ar1 _ | PrelBase.otherwise{-818,p-} = PrelBase.(){-60,w-}{i}
5 ghc: module version changed to 1; reason: no old .hi file
6 _interface_ ShouldSucceed 1
10 PrelBase 1 :: otherwise 1;
14 1 f _:_ _forall_ [ta] => ta -> PrelBase.() ;;