Inl inr dans SymplyTyped