Standard Haskell has only single parameter type classes. With MultiParamTypeClasses you can define class Into a b where into :: a -> b Note that From wo

Standard Haskell has only single parameter type classes. With MultiParamTypeClasses you can define class Into a b where into :: a -> b Note that From would be the exact same class. I guess the distinction in Rust is relevant because of ownership.