Prolog "maybe" type