{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
module GHC.Maybe_LHAssumptions where

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