Allow mutable polytypes