Unison doesn't have type classes yet, no