Avisi on 13 August 2018 Maybe don't use Maybe? Your code could be littered with branches that result in invalid data and should never happen, but are allowed. We found such a case where we allowed multiple ...