intro-prelude-0.1.0.0: test.hs
module Main where mapAvailable :: Functor f => (a -> b) -> f a -> f b mapAvailable = map panicAvailable :: String -> a panicAvailable = panic type StateAvailable a = State a main :: IO () main = skip
module Main where mapAvailable :: Functor f => (a -> b) -> f a -> f b mapAvailable = map panicAvailable :: String -> a panicAvailable = panic type StateAvailable a = State a main :: IO () main = skip