Sorry but yes. Pure structural typing is a dead end hindley milner is the future.