```haskell fmap :: (a -> b) -> (f a) -> f b ``` should be ```haskell fmap :: (a -> b) -> f a -> f b ``` to repro ```haskell > putStrLn $ showType fmap_ ```