implementation module Maybe