T14888.hs:6:10-30: Splicing type
    [t| (->) Bool Bool |] ======> Bool -> Bool
T14888.hs:15:3-11: Splicing declarations return [] ======>
T14888.hs:18:23-59: Splicing expression
    reify ''Functor' >>= stringE . pprint
  ======>
    "class T14888.Functor' (f_0 :: * -> *)
    where T14888.fmap' :: forall (f_0 :: * ->
                                         *) . T14888.Functor' f_0 =>
                          forall (a_1 :: *) (b_2 :: *) . (a_1 -> b_2) -> f_0 a_1 -> f_0 b_2
instance T14888.Functor' ((->) r_3 :: * -> *)"