3 ms·Type Classes, yes. Dependent types, eh.. that is a bit of a stretch to say the least.by platz 9y agoType Classes, yes. Dependent types, eh.. that is a bit of a stretch to say the least.