ref: 2d00e8f657965583e906327bd4c0eff6953a71cd
dir: /test/traitimpl.myr/
use std trait frobable @a = frob : (val : @a -> @a) ;; impl frobable int = frob = {val -> val * 2 } ;; impl frobable int16 = frob = {val -> val * 4 } ;; impl frobable byte[:] = frob = {val -> val[:4] } ;; generic foo = {x : @a::frobable -> frob(x) } const main = { var a, b, c a = foo(123) b = foo((11 : int16)) c = frob("meeeeeeh") std.put("{},{},{}\n", a, b, c) }