{-# LANGUAGE BangPatterns #-} {-# OPTIONS_GHC -fno-warn-unused-matches #-} {-# OPTIONS_GHC -fno-warn-name-shadowing #-} {-# OPTIONS_GHC -fno-warn-unused-local-binds #-} module Example1 where import Data.Aeson import qualified Data.ByteString.Lazy as LBS example :: IO () example :: IO () example = do !ByteString bs <- FilePath -> IO ByteString LBS.readFile FilePath "corpus/bench/hospitalisation.json" let !y :: Maybe Value y = forall a. FromJSON a => ByteString -> Maybe a decode ByteString bs :: Maybe Value forall (m :: * -> *) a. Monad m => a -> m a return ()