minigent/examples/6_recursive/10-bang-incompatible/in.minigent

bad: rec k { f: < Some U8 | Chain k! > } 
    -> rec k { f: < Some U8 | Chain k > };
bad x = x;