Top Answers

1. GHC cannot deduce an instance exists despite being mentioned in a quantified constraint
   5 votes
2. arrow ensure doesn't make value non nullable after check
   1 votes