Type signatures and assumptions also do not play well together.