dream.c

include "stdio";
include "stdlib";

enum Maybe[T] 
{
    Nothing,
    Just(T val),

    Maybe[U] operator>>=(Fn(T) -> Maybe[U])
    {
        switch(this)
        {
            case Nothing: 
            {
                return Nothing;
            }

            case Just(val): 
            {
                return fn(val);
            }
        }
    }

    T unwrap(void)
    {
        switch(this)
        {
            case Nothing: 
            {
                panic("Nothing to unwrap");
                exit(1);
            }

            case Just(val): 
            {
                return val;
            }
        }
    }
}

Maybe[double] safediv(double a, double b) 
{
    if (b == 0) 
    {
        return Nothing;
    } 
    else 
    {
        return Just(a / b);
    }
}

int main(int argc, char const **argv) 
{
    Maybe[double] a = safediv(9, 2) >>= | x: double | { safediv(x, 2) }; // A little bit of monadic magic
    printf("%lf", a.unwrap());

    return 0;
}