module GHC.Maybe_LHAssumptions where

{-@
data Maybe a = Nothing | Just a
@-}