#lang plait
(define-type Animal
  [Snake   (name : Symbol) (weight : Number) (food : Symbol)]
  [Tiger   (name : Symbol) (weight : Number)])

(type-case Animal
    (Snake 'Slimey 10 'rats)
  [(Snake n w f) n]
  [(Tiger n sc) n])