oops, type params can satisfy sealed interfaces!
fix tests to accommodate change to language module