"Constructor from Ghci2.Option: Ghci2.Some :: forall (a_0 :: *) .\n                                             a_0 %1 -> Ghci2.Option a_0"