module A where

{-# NOINLINE val #-}
val = Just 42