ref: 55f8d064387dcf0229b6020d5a8e57e660d358c7
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) }