Algebraic Types are not Scary