Title: Appendix --- Additional information about TypeFriendly.