https://profilbaru.com/en/Algebraic_datatype