nothing package:code-conjure

Nothing bound to the Maybe Int type encoded as an Expr. This is an alias to nothingInt.
Nothing bound to the Maybe Bool type encoded as an Expr.
Nothing bound to the Maybe Int type encoded as an Expr.