FIX read040: patterns with type sig on LHS of do-binding