More about types and a custom type case example