ref: a34e80b18736f80370487804998b1ffd2de2f978
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 @a -> frob(x) } const main = { var a, b, c a = foo(123) b = foo((11 : int16)) c = frob("meeeeeeh") std.put("{},{},{}\n", a, b, c) }