Comment by seanmcdirmid

What algorithm are you using? How do you deal with subtyping and paramatricity?