Unwriter
scalaz
unapply
SizedType
Type