You probably want what's currently in a ```where``` clause to be in a ```given``` clause at the top.