liquid-base-4.15.1.0: src/GHC/Maybe.spec

module spec GHC.Maybe where

data Maybe a = Nothing | Just a