I have the following code:
type AScale = { head: [1]; tail: B } | { head: [1, 1]; tail: B }; type BScale = |