ghci

code:memo

:?

:set

:type <expr>

:type +d <expr>

:type +v <expr>

code:memo.hs

ghci> :type fmap

fmap :: Functor f => (a -> b) -> f a -> f b