--Testing type synonyms
type Foo = String
let foo = "foo" :: Foo
:t foo