original.name="Template_Valid_41"
======
>>> main.whiley
type Point is {int x, int y}
type Message<T,S> is { T t, S s }
public export method test():
Point p = {x:1,y:2}
Message<Point,bool> h = { t:p, s:false }
assert h.t.x == 1 && h.t.y == 2
assert h.s == false
---