Fwuan is a structurally-typed language. Rhymes with "you on?", but said quickly. Features Control-flow based type analysis Sum types Type Narrowing