f_0 :: () f_0 = GHC.Err.undefined g_1 g_1 :: () g_1 = GHC.Err.undefined