-==================== Typechecked ====================
-AbsBinds [takR, takT] [] [([takR, takT], f{-r3f,x-}, f_akx)]
- f_akx (x_r3d@_) (y_r3e@_) = x_r3d
-
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_