statically avoids null pointer exceptions with Maybe