ADTs are a type and all it's possible states
# arrow
r
ADTs are a type and all it's possible states