Agda-2.3.2.2: examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Maybe.agda

module Data.Maybe where

data Maybe (a : Set) : Set where
  nothing : Maybe a
  just	  : a -> Maybe a