TypeCompose-0.9.13: Type composition classes & instances