Fun with Type