Behaviours & Protocols

[OvermindDL1]

@jeremyjh

except they cannot be polymorphic only in the return type like they can be in Haskell. I don’t think its possible to implement mempty for example.

That is why something like Enum.into/1 takes an argument that defines the type of the return (and why not ‘merge’ it since it is basically free at that point anyway).