TypeCompose-0.9.12: Type composition classes & instances