Reason Phantom Type Animal catch all usage

ReasonAnimalUsageCatchAll.re

/* Link to playground: https://bit.ly/2J7t1bR */

let larry = Animal.makeDog("Larry");
let larsa = Animal.makeDog("Larsa");

let mark = Animal.makeCat("Mark");
let marla = Animal.makeCat("Marla");

/* ✅ Mates 2 dogs and then mates 2 cats*/
Js.log(Animal.mate(larry, larsa));
Js.log(Animal.mate(mark, marla));

/* ✅ Mates 1 dog and 1 cats and then 2 cats*/
Js.log(Animal.interMate(larry, marla));
Js.log(Animal.interMate(mark, marla));