#sext i subject you to the value restriction while you infer my type
@atax1a I put on my robe and type erasure hat