Research contact with self type

[Primetalk]

Two ways to achieve this:

1. contact as object (singleton types).

val input

=>

object input extends Contact

2. tags

sealed trait Input
val input = contact[A]@Input