On 2014-10-19 at 15:19:42 +0200, Henning Thielemann wrote: [...] > Prelude> show ((\x->x*x) :: Int -> Int) > fromJust . flip lookup [(0,0), (1,1), (-1,1), (2,4), (-2,4), ... That scheme only works for enumerable input-types though, as computing something like 'show fmap' would be quite a challenge :-)