some type fun.

type