-- test the representation of unboxed literals
{-# LANGUAGE TemplateHaskell #-}

module Main
where

$(
    [d|
        foo :: Int -> Int
        foo x
         | x == 5 = 6
        foo x = 7
      |]
 )

$(
    [d|
        bar :: Maybe Int -> Int
        bar x
         | Just y <- x = y
        bar _ = 9
      |]
 )

main :: IO ()
main = do putStrLn $ show $ foo 5
          putStrLn $ show $ foo 8
          putStrLn $ show $ bar (Just 2)
          putStrLn $ show $ bar Nothing